Advances in Petri Nets 1989

M. Ajmone Marsan (auth.), Grzegorz Rozenberg (eds.)3540524940, 9783540524946

This is the latest in a series of volumes presenting recent results on Petri nets to the general computer science community. The papers are selected and prepared to present results which are the most representative and significant for the development of the area.

---

Table of contents :
Stochastic Petri nets: An elementary introduction….Pages 1-29
Improving the efficiency of the analysis of DSPN models….Pages 30-50
Synchronized elementary net systems….Pages 51-76
Descriptive and analytical process algebras….Pages 77-104
P/T-systems as abstractions of C/E-systems….Pages 105-127
The semantics of capacities in P/T nets….Pages 128-150
Petri net tool overview 1989….Pages 151-178
Equivalence transformations of PrT-Nets….Pages 179-208
A reduction theory for coloured nets….Pages 209-235
Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets….Pages 236-261
S-CORT®: A method for the development of electronic payment systems….Pages 262-280
Timed Petri nets and application to multi-stage production systems….Pages 281-305
Petri net systems and their closure properties….Pages 306-328
Occam and the transputer….Pages 329-353
About the concurrent behaviour of EN systems: Definability and closure results….Pages 354-373
Petri nets and flexible manufacturing….Pages 374-417
Some properties of timed nets under the earliest firing rule….Pages 418-432
A comparative study of different techniques for semi-flows computation in place/transition nets….Pages 433-452
Elementary net systems and dynamic logic….Pages 453-466
Representation of a swapping class by one net….Pages 467-486
Design methods based on nets….Pages 487-506
CEDISYS compositional distributed systems state of the art, research goals, references….Pages 507-524