Application on Theory of Petri Nets 1998 : 19th International conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998 : proceedings
This volume contains the proceedings of the 19th annual International Conference on Application and Theory of Petri Nets. The aim of the Petri net conference is to create a forum for the dissemination of the latest results in the application and theory of Petri nets. It always takes place in the las...
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
1420 |
| 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: | • Application on Theory of Petri Nets 1998, 19th International conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, proceedings, Jörg Desel, Manuel Silva, (eds), 1998, Berlin, Springer, 1 vol. (VIII-384 p.), Lecture notes in computer science, 3-540-64677-9 • Application and Theory of Petri Nets 1998, Texte imprimé, 9783662206492 |
Tabla de Contenidos:
- Invited Papers
- Petri Nets as Token Objects
- Synchronized Products of Transition Systems and Their Analysis
- Manual and Automatic Exploitation of Symmetries in SPN Models
- Full Papers
- Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models
- A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
- Modelling and Model Checking a Distributed Shared Memory Consistency Protocol
- Finding Stubborn Sets of Coloured Petri Nets without Unfolding
- On Stubborn Sets in the Verification of Linear Time Temporal Properties
- A Compositional Petri Net Semantics for SDL
- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
- Efficiency of Token-Passing MUTEX-Solutions Some Experiments
- Thinking in Cycles
- Iterative Decomposition and Aggregation of Labeled GSPNs
- On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking
- Deadlock Detection in the Face of Transaction and Data Dependencies
- Petri Net Based Certification of Event-Driven Process Chains
- M-net Calculus Based Semantics for Triggers
- SWN Analysis and Simulation of Large Knockout ATM Switches
- Flexibility in Algebraic Nets
- ESTL: A Temporal Logic for Events and States.