Application and theory of petri nets 1998 : 19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 proceedings /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; London :
Springer,
[1998]
|
| Series: | Lecture notes in computer science ;
1420. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Petri nets as token objects : an introduction to elementary object nets / R. Valk
- Synchronized products of transition systems and their analysis / A. Arnold
- Manual and automatic exploitation of symmetries in SPN models / G. Chiola
- Dimensioning handover buffers in wireless ATM networks with GSPN models / M. Ajmone Marsan, C.-F. Chiasserini and A. Fumagalli
- A class of well structured petri nets for flexible manufacturing systems / J. Ezpeleta, F. García-Vallés and J.M. Colom
- Modelling and model checking of distributed shared memory consistency protocol / K. Fisler and C. Girault
- Finding stubborn sets of coloured petri nets without unfolding / L.M. Kristensen and A. Valmari
- On stubborn sets in the verification of linear time temporal properties / K. Varpaaniemi
- A compositional petri net semantics for SDL / H. Fleishhack and B. Grahlmann
- An axiomatisation of duplication equivalence in the petri box calculus /M. Hesketh and M. Koutny
- Efficiency of token-passing MUTEX-solutins : some experiments / E. Bihler and W. Vogler
- Thinking in cycles / M.-O. Stehr
- Iterative decomposition and aggregation of labeled GSPNs / P. Buccholz
- On the use of structural petri net analysis for studying product form equilibrium distributions of queueing networks with blocking / M. Gribaudo and M. Sreno
- Deadlock detection in the face of transaction and data dependencies / E. Bertino, G. Chiola and L.V. Mancini
- Petri net based certification of event-driven process chains / P. Langner, Chr. Schneidr and J. Wehler
- M-net calculus based semantics for triggers / V. Benzaken [and others]
- SWN analysis and simulation of large knockout ATM switches / R. Gaeta and M. Ajmone Marsan
- Flexibility in algebraic nets / E. Kndler and H. Völzer
- ESTL : a temporal logic for events and states / E. Kndler and T. Vesper.