Advances in Petri Nets 1993

Ghassan Chehaibar (auth.), Grzegorz Rozenberg (eds.)3540566899, 9783540566892

The main aims of the series of volumes “Advances in Petri Nets” are: – to present to the “outside” scientific community a fair picture of recent advances in the area of Petri nets, and – to encourage those interested in the applications and the theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. This volume is based on the proceedings of the 12th International Conference on Applications and Theory of Petri Nets, held in Gjern, Denmark, in June 1991. It contains 18 selected and revised papers covering all aspects of recent Petri net research.

---

Table of contents :
Replacement of open interface subnets and stable state transformation equivalence….Pages 1-25
Bounded self-stabilizing Petri nets….Pages 26-50
Generative families of positive invariants in Coloured nets sub-classes….Pages 51-70
Autonomous and timed continuous Petri nets….Pages 71-90
The Devnet: A Petri net for discrete event simulation….Pages 91-125
A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets….Pages 126-147
A concept of hierarchical Petri nets with building blocks….Pages 148-168
Petri net tool overview 1992….Pages 169-209
The minimal coverability graph for Petri nets….Pages 210-243
Distributed implementation of CCS….Pages 244-266
Saturation conditions for Stochastic Petri Nets….Pages 267-280
Marking optimization in timed event graphs….Pages 281-300
Parameterized reachability trees for Predicate/Transition nets….Pages 301-324
Iterative decomposition and aggregation of Stochastic marked graph Petri nets….Pages 325-349
Constraints and extensions in a Calculus of EN systems….Pages 350-370
Comparability orders and measurement….Pages 371-405
Deterministic systems of sequential processes: A class of structured Petri nets….Pages 406-426
Compositional state space generation….Pages 427-457