Applications and Theory of Petri Nets 2005 [[electronic resource] ] : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / / edited by Gianfranco Ciardo, Philippe Darondeau |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XI, 475 p.) |
Disciplina | 511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Software engineering Operating systems (Computers) Computer networks Business information services Theory of Computation Discrete Mathematics in Computer Science Software Engineering Operating Systems Computer Communication Networks IT in Business |
ISBN |
3-540-31559-4
3-540-26301-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov Nets -- On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets -- Extremal Throughputs in Free-Choice Nets -- A Framework to Decompose GSPN Models -- Modeling Dynamic Architectures Using Nets-Within-Nets -- A High Level Language for Structural Relations in Well-Formed Nets -- Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation -- Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets -- Termination Properties of TCP’s Connection Management Procedures -- Soundness of Resource-Constrained Workflow Nets -- High-Level Nets with Nets and Rules as Tokens -- Can I Execute My Scenario in Your Net? -- Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets -- Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty -- On the Expressive Power of Petri Net Schemata -- Determinate STG Decomposition of Marked Graphs -- Timed-Arc Petri Nets vs. Networks of Timed Automata -- Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets -- Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets -- Tool Papers -- The ProM Framework: A New Era in Process Mining Tool Support -- High Level Petri Nets Analysis with Helena -- Protos 7.0: Simulation Made Accessible. |
Record Nr. | UNISA-996466064503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Applications and Theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / / edited by Gianfranco Ciardo, Philippe Darondeau |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XI, 475 p.) |
Disciplina | 511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Software engineering Operating systems (Computers) Computer networks Business information services Theory of Computation Discrete Mathematics in Computer Science Software Engineering Operating Systems Computer Communication Networks IT in Business |
ISBN |
3-540-31559-4
3-540-26301-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov Nets -- On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets -- Extremal Throughputs in Free-Choice Nets -- A Framework to Decompose GSPN Models -- Modeling Dynamic Architectures Using Nets-Within-Nets -- A High Level Language for Structural Relations in Well-Formed Nets -- Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation -- Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets -- Termination Properties of TCP’s Connection Management Procedures -- Soundness of Resource-Constrained Workflow Nets -- High-Level Nets with Nets and Rules as Tokens -- Can I Execute My Scenario in Your Net? -- Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets -- Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty -- On the Expressive Power of Petri Net Schemata -- Determinate STG Decomposition of Marked Graphs -- Timed-Arc Petri Nets vs. Networks of Timed Automata -- Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets -- Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets -- Tool Papers -- The ProM Framework: A New Era in Process Mining Tool Support -- High Level Petri Nets Analysis with Helena -- Protos 7.0: Simulation Made Accessible. |
Record Nr. | UNINA-9910484677103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Petri Net Synthesis / / by Eric Badouel, Luca Bernardinello, Philippe Darondeau |
Autore | Badouel Eric |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XIII, 339 p. 140 illus., 1 illus. in color.) |
Disciplina | 511.3 |
Collana | Texts in Theoretical Computer Science. An EATCS Series |
Soggetto topico |
Computers
Computer science—Mathematics Software engineering Mathematical logic Theory of Computation Mathematics of Computing Software Engineering/Programming and Operating Systems Mathematical Logic and Foundations |
ISBN | 3-662-47967-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Introduction to Elementary Net Synthesis -- Other Forms of the Synthesis Problem -- Algorithms of Elementary Net Synthesis -- Variations of Elementary Net Synthesis -- A Unified Theory of Net Synthesis -- The Linear Algebraic Structure of Regions -- Synthesis of P/T-Nets from Finite Initialized Transition Systems -- Synthesis of Unbounded P/T-Nets -- P/T-Nets with the Step Firing Rule -- Extracting Concurrency from Transition Systems -- Process Discovery -- Supervisory Control -- Design of Speed Independent Circuits -- Bibliography. |
Record Nr. | UNINA-9910299259803321 |
Badouel Eric
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings : Fourth International Conference on Application of Concurrency to System Design : ACSD 2004, 16-18 June 2004, Hamilton, Ontario, Canada |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2004 |
Disciplina | 003 |
Soggetto topico |
System design
Parallel processing (Electronic computers) Computer Science Engineering & Applied Sciences |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996214781103316 |
[Place of publication not identified], : IEEE Computer Society, 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Proceedings : Fourth International Conference on Application of Concurrency to System Design : ACSD 2004, 16-18 June 2004, Hamilton, Ontario, Canada |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2004 |
Disciplina | 003 |
Soggetto topico |
System design
Parallel processing (Electronic computers) Computer Science Engineering & Applied Sciences |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910872530003321 |
[Place of publication not identified], : IEEE Computer Society, 2004 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|