Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 [[electronic resource] ] : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency / / edited by Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg
| Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 [[electronic resource] ] : Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency / / edited by Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg |
| Edizione | [1st ed. 1987.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
| Descrizione fisica | 1 online resource (X, 519 p.) |
| Disciplina | 004.6 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer communication systems
Computer Communication Networks |
| ISBN | 3-540-47926-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to Part II -- Computer tools for construction, modification and analysis of Petri nets -- Petri net tool overview 1986 -- Petri nets in software engineering -- Nets in data bases -- Petri net based models in the specification and verification of protocols -- Human-machine interaction and role/function/action-nets -- Nets in production systems -- Nets in computer organization -- Nets in office automation -- Modelling architectural features with petrinets -- Trace theory -- Event structures -- CCS — and its relationship to net theory -- COSY: Its relation to nets and to CSP -- TCSP: Theory of communicating sequential processes -- Reduction, data flow and control flow models of computation -- “Forgotten topics” of net theory. |
| Record Nr. | UNISA-996465691003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets 1996 [[electronic resource] ] : 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings / / edited by Jonathan Billington, Wolfgang Reisig
| Application and Theory of Petri Nets 1996 [[electronic resource] ] : 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings / / edited by Jonathan Billington, Wolfgang Reisig |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (VIII, 556 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Architecture, Computer Mathematical logic Algorithms Computer logic Computer communication systems Computation by Abstract Devices Computer System Implementation Mathematical Logic and Foundations Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Computer Communication Networks |
| ISBN | 3-540-68505-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition -- Temporal uncertainty and fuzzy-timing high-level Petri nets -- Compositionality in state space verification methods -- On liveness and controlled siphons in Petri nets -- Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets -- High level synthesis of synchronous parallel controllers -- Non sequential semantics for contextual P/T nets -- The PSR methodology: Integrating hardware and software models -- Designing and verifying a communications gateway using coloured Petri nets and design/CPN™ -- Expected impulse rewards in Markov regenerative stochastic Petri nets -- Asynchronous composition of high level Petri Nets: A quantitative approach -- A formal definition of hierarchical predicate transition nets -- Reduced state space representation for unbounded vector state spaces -- Modelling and analysis of distributed program execution in BETA using coloured Petri Nets -- Reachability analysis based on structured representations -- Arc-typed Petri Nets -- The SEA Language for system engineering and animation -- A new iterative numerical solution algorithm for a class of stochastic Petri Nets -- A structural approach for the analysis of Petri Nets by reduced unfoldings -- An O(S × T)-algorithm to verify if a net is regular -- The consistent use of names and polymorphism in the definition of Object Petri Nets -- Designing a security system by means of Coloured Petri Nets -- Modeling and analysing DART systems through high-level Petri nets -- {SC}*ECS: A class of modular and hierarchical cooperating systems -- Behavioural equivalence for infinite systems — Partially decidable! -- Topological aspects of traces -- Asynchronous control device design by net model behavior simulation -- Covering step graph -- Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks. |
| Record Nr. | UNISA-996465640703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications and Theory of Petri Nets 2004 [[electronic resource] ] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / / edited by Jordi Cortadella, Wolfgang Reisig
| Applications and Theory of Petri Nets 2004 [[electronic resource] ] : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / / edited by Jordi Cortadella, Wolfgang Reisig |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XI, 505 p.) |
| Disciplina | 511.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Computers Computer science—Mathematics Software engineering Operating systems (Computers) Computer communication systems Mathematical Logic and Foundations Theory of Computation Discrete Mathematics in Computer Science Software Engineering Operating Systems Computer Communication Networks |
| ISBN | 3-540-27793-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited papers -- Positive Non-interference in Elementary and Trace Nets -- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? -- Embedded Software: Better Models, Better Code -- Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata -- Formal Tools for Modular System Development -- Stochastic Methods for Dependability, Performability, and Security Evaluation -- Full papers -- Composition of Temporal Logic Specifications -- On the Use of Coloured Petri Nets for Object-Oriented Design -- Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets -- Finite Unfoldings of Unbounded Petri Nets -- Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys -- Generalised Soundness of Workflow Nets Is Decidable -- Petri Net Based Model Validation in Systems Biology -- Synthesis of Controlled Behavior with Modules of Signal Nets -- New Canonical Representative Marking Algorithms for Place/Transition-Nets -- Properties of Object Petri Nets -- LTL Model Checking for Modular Petri Nets -- Covering Fairness against Conspiracies -- Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods -- A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets -- Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation -- Transit Case Study -- Eliminating Internal Behaviour in Petri Nets -- Infinity of Intermediate States Is Decidable for Petri Nets -- Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations -- Tool Papers -- EMiT: A Process Mining Tool -- 3D-Visualization of Petri Net Models: Concept and Realization -- An Approach to Distributed State Space Exploration for Coloured Petri Nets -- An Extensible Editor and Simulation Engine for Petri Nets: Renew -- Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower. |
| Record Nr. | UNISA-996465434303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / / edited by Jordi Cortadella, Wolfgang Reisig
| Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings / / edited by Jordi Cortadella, Wolfgang Reisig |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XI, 505 p.) |
| Disciplina | 511.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Computers Computer science—Mathematics Software engineering Operating systems (Computers) Computer communication systems Mathematical Logic and Foundations Theory of Computation Discrete Mathematics in Computer Science Software Engineering Operating Systems Computer Communication Networks |
| ISBN | 3-540-27793-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited papers -- Positive Non-interference in Elementary and Trace Nets -- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? -- Embedded Software: Better Models, Better Code -- Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata -- Formal Tools for Modular System Development -- Stochastic Methods for Dependability, Performability, and Security Evaluation -- Full papers -- Composition of Temporal Logic Specifications -- On the Use of Coloured Petri Nets for Object-Oriented Design -- Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets -- Finite Unfoldings of Unbounded Petri Nets -- Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys -- Generalised Soundness of Workflow Nets Is Decidable -- Petri Net Based Model Validation in Systems Biology -- Synthesis of Controlled Behavior with Modules of Signal Nets -- New Canonical Representative Marking Algorithms for Place/Transition-Nets -- Properties of Object Petri Nets -- LTL Model Checking for Modular Petri Nets -- Covering Fairness against Conspiracies -- Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods -- A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets -- Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation -- Transit Case Study -- Eliminating Internal Behaviour in Petri Nets -- Infinity of Intermediate States Is Decidable for Petri Nets -- Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations -- Tool Papers -- EMiT: A Process Mining Tool -- 3D-Visualization of Petri Net Models: Concept and Realization -- An Approach to Distributed State Space Exploration for Coloured Petri Nets -- An Extensible Editor and Simulation Engine for Petri Nets: Renew -- Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower. |
| Record Nr. | UNINA-9910144151703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Carl Adam Petri: Ideas, Personality, Impact / / edited by Wolfgang Reisig, Grzegorz Rozenberg
| Carl Adam Petri: Ideas, Personality, Impact / / edited by Wolfgang Reisig, Grzegorz Rozenberg |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (240 pages) : illustrations |
| Disciplina | 003.54 |
| Soggetto topico |
Computers
Bioinformatics Software engineering Theory of Computation Computational Biology/Bioinformatics Software Engineering/Programming and Operating Systems |
| ISBN | 3-319-96154-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Perspectives on Petri’s Work -- Discovering Petri Nets: A Personal Journey -- Observations of a Lateral Entrant -- Nets, Cats and Pigs: Carl Adam Petri and His Slides -- Invention or Discovery? -- Petri’s Understanding of Nets -- On the Two Worlds of Carl Adam Petri’s Nets -- Petri Nets: The Next 50 Years—An Invitation and Interpretative Translation -- Petri Nets Are (Not Only) Distributed Automata -- Petri Nets: A Simple Language and Tool for Modeling Complex Ideas -- Part II: Personal Recollections.-Carl Adam Petri: A Tribute from Aarhus -- Some Interactions with Carl Adam Petri over Three Decades -- Petri Nets and Petri’s Nets: A Personal Perspective -- Coffee and Cigarettes -- Early Interactions with Carl Adam Petri.-A Personal Journey in Petri Net Research -- Part III: Technical Themes -- Carl Adam Petri’s Synchronic Distance -- How Carl Adam Petri Deeply Influenced My Understanding of Invariance and Parallelism -- Toward Distributed Computability Theory -- Petri Inheritance: The Foundation of Nondeterministic, Concurrent Systems -- Coordinating Behaviour -- Inductive Counting and the Reachability Problem for Petri Nets -- Part IV: Connecting to Other Areas -- On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic Systems -- Modelling Time Using Petri Nets -- All True Concurrency Models Start with Petri Nets: A Personal Tribute to Carl Adam Petri -- Petri Nets for BioModel Engineering: A Personal Perspective -- Petri Nets in Systems Biology: Transition Invariants, Maximal Common Transition Sets, Transition Clusters, Mauritius Maps,and MonaLisa -- From Nets to Circuits and from Circuits to Nets -- Living Lattices -- The Road from Concurrency to Quantum Logics. |
| Record Nr. | UNINA-9910337846403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fields of Logic and Computation [[electronic resource] ] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / / edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
| Fields of Logic and Computation [[electronic resource] ] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday / / edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 627 p. 49 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Computer logic Software engineering Mathematical logic Algorithms Computer communication systems Programming Techniques Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computer Communication Networks |
| ISBN |
1-280-38827-7
9786613566195 3-642-15025-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical Papers -- Tracking Evidence -- Strict Canonical Constructive Systems -- Decidable Expansions of Labelled Linear Orderings -- Existential Fixed-Point Logic, Universal Quantifiers, and Topoi -- Three Paths to Effectiveness -- The Quest for a Tight Translation of Büchi to co-Büchi Automata -- Normalization of Some Extended Abstract State Machines -- Finding Reductions Automatically -- On Complete Problems, Relativizations and Logics for Complexity Classes -- Effective Closed Subshifts in 1D Can Be Implemented in 2D -- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey -- A Logic for PTIME and a Parameterized Halting Problem -- Inferring Loop Invariants Using Postconditions -- ASMs and Operational Algorithmic Completeness of Lambda Calculus -- Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs -- Ibn S?n? on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic -- Abstract State Machines and the Inquiry Process -- The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion -- Definability of Combinatorial Functions and Their Linear Recurrence Relations -- Halting and Equivalence of Program Schemes in Models of Arbitrary Theories -- Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics -- Thirteen Definitions of a Stable Model -- DKAL and Z3: A Logic Embedding Experiment -- Decidability of the Class E by Maslov’s Inverse Method -- Logics for Two Fragments beyond the Syllogistic Boundary -- Choiceless Computation and Symmetry -- Hereditary Zero-One Laws for Graphs -- On Monadic Theories of Monadic Predicates. |
| Record Nr. | UNISA-996466291103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Lectures on Concurrency and Petri Nets [[electronic resource] ] : Advances in Petri Nets / / edited by Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg
| Lectures on Concurrency and Petri Nets [[electronic resource] ] : Advances in Petri Nets / / edited by Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XX, 852 p.) |
| Disciplina | 511.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Computers Algorithms Computer logic Computer communication systems Information storage and retrieval Mathematical Logic and Foundations Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Computer Communication Networks Information Storage and Retrieval |
| ISBN | 3-540-27755-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management -- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming -- Timed Automata: Semantics, Algorithms and Tools -- Petri Nets and Dependability -- Process Algebra -- A Coloured Petri Net Approach to Protocol Verification -- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets -- A Survey on Non-interference with Petri Nets -- Synthesis of Asynchronous Hardware from Petri Nets -- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned -- Unbounded Petri Net Synthesis -- Petri Nets and Software Engineering -- Model Validation in Controller Design -- Graph Grammars and Petri Net Transformations -- Message Sequence Charts -- Model-Based Development of Executable Business Processes for Web Services -- Modelling and Control with Modules of Signal Nets -- Application of Coloured Petri Nets in System Development -- Bigraphs for Petri Nets -- Notes on Timed Concurrent Constraint Programming -- Petri Nets and Manufacturing Systems: An Examples-Driven Tour -- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems -- Object Petri Nets. |
| Record Nr. | UNISA-996465435503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Lectures on Concurrency and Petri Nets : Advances in Petri Nets / / edited by Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg
| Lectures on Concurrency and Petri Nets : Advances in Petri Nets / / edited by Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XX, 852 p.) |
| Disciplina | 511.35 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Computers Algorithms Computer logic Computer communication systems Information storage and retrieval Mathematical Logic and Foundations Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Computer Communication Networks Information Storage and Retrieval |
| ISBN | 3-540-27755-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management -- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming -- Timed Automata: Semantics, Algorithms and Tools -- Petri Nets and Dependability -- Process Algebra -- A Coloured Petri Net Approach to Protocol Verification -- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets -- A Survey on Non-interference with Petri Nets -- Synthesis of Asynchronous Hardware from Petri Nets -- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned -- Unbounded Petri Net Synthesis -- Petri Nets and Software Engineering -- Model Validation in Controller Design -- Graph Grammars and Petri Net Transformations -- Message Sequence Charts -- Model-Based Development of Executable Business Processes for Web Services -- Modelling and Control with Modules of Signal Nets -- Application of Coloured Petri Nets in System Development -- Bigraphs for Petri Nets -- Notes on Timed Concurrent Constraint Programming -- Petri Nets and Manufacturing Systems: An Examples-Driven Tour -- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems -- Object Petri Nets. |
| Record Nr. | UNINA-9910144151903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lectures on Petri Nets I: Basic Models [[electronic resource] ] : Advances in Petri Nets / / edited by Wolfgang Reisig, Grzegorz Rozenberg
| Lectures on Petri Nets I: Basic Models [[electronic resource] ] : Advances in Petri Nets / / edited by Wolfgang Reisig, Grzegorz Rozenberg |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIII, 691 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Computer communication systems Information technology Business—Data processing Computational complexity Theory of Computation Software Engineering Computer Communication Networks IT in Business Complexity |
| ISBN | 3-540-49442-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Informal introduction to petri nets -- Elementary net systems -- Place/transition Petri Nets -- Principles of high-level net theory -- Petri nets in performance analysis: An introduction -- Basic linear algebraic techniques for place/transition nets -- Linear algebraic and linear programming techniques for the analysis of place/transition net systems -- Decidability and complexity of Petri net problems — An introduction -- The state explosion problem -- Theory of regions -- Petri nets and other models of concurrency -- Distributed versions of linear time temporal logic: A trace perspective. |
| Record Nr. | UNINA-9910144903803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lectures on Petri Nets I: Basic Models [[electronic resource] ] : Advances in Petri Nets / / edited by Wolfgang Reisig, Grzegorz Rozenberg
| Lectures on Petri Nets I: Basic Models [[electronic resource] ] : Advances in Petri Nets / / edited by Wolfgang Reisig, Grzegorz Rozenberg |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (XIII, 691 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Computer communication systems Information technology Business—Data processing Computational complexity Theory of Computation Software Engineering Computer Communication Networks IT in Business Complexity |
| ISBN | 3-540-49442-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Informal introduction to petri nets -- Elementary net systems -- Place/transition Petri Nets -- Principles of high-level net theory -- Petri nets in performance analysis: An introduction -- Basic linear algebraic techniques for place/transition nets -- Linear algebraic and linear programming techniques for the analysis of place/transition net systems -- Decidability and complexity of Petri net problems — An introduction -- The state explosion problem -- Theory of regions -- Petri nets and other models of concurrency -- Distributed versions of linear time temporal logic: A trace perspective. |
| Record Nr. | UNISA-996465929103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
