Applications and theory of Petri Nets 2001 : 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings
This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 100{150 participants { one...
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
2075 |
| Materias: | |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Applications and theory of Petri nets 2001, 22nd international conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, proceedings, José-Manuel Colom, Maciej Koutny (Eds.), 2001, Berlin, Springer, 1 vol. (XII-401 p.), Lecture notes in computer science, 3-540-42252-8 • Applications and Theory of Petri Nets 2001, Texte imprimé, 9783662182529 |
Tabla de Contenidos:
- Invited Papers
- Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?
- The Flux of Interaction
- Towards a Notion of Distributed Time for Petri Nets
- Full Papers
- Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance
- Timed Petri Nets and BQOs
- CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets
- Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems
- Condensed State Spaces for Timed Petri Nets
- Unfolding of Products of Symmetrical Petri Nets
- partial Order Verification of Programmable Logic Controllers
- Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets
- Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets
- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
- Modelling the Structure and Behaviour of Petri Net Agents
- Modelling the Structure and Behaviour of Petri Net Agents
- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
- Incremental State Space Construction for Coloured Petri Nets
- Incremental State Space Construction for Coloured Petri Nets
- Optimising Enabling Tests and Unfoldings of Algebraic System Nets
- Optimising Enabling Tests and Unfoldings of Algebraic System Nets
- Extending the Petri Box Calculus with Time
- Extending the Petri Box Calculus with Time
- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets
- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets
- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time
- Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time
- Partial S-Invariants for the Verification of Infinite Systems Families
- Partial S-Invariants for the Verification of Infinite Systems Families.