Advances in Petri Nets 1993

ISBN-13: 9783540566892 / Angielski / Miękka / 1993 / 462 str.

Grzegorz Rozenberg

Opis

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 Petzi 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.

Spis treści

Replacement of open interface subnets and stable state transformation equivalence.- Bounded self-stabilizing Petri nets.- Generative families of positive invariants in Coloured nets sub-classes.- Autonomous and timed continuous Petri nets.- The Devnet: A Petri net for discrete event simulation.- A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets.- A concept of hierarchical Petri nets with building blocks.- Petri net tool overview 1992.- The minimal coverability graph for Petri nets.- Distributed implementation of CCS.- Saturation conditions for Stochastic Petri Nets.- Marking optimization in timed event graphs.- Parameterized reachability trees for Predicate/Transition nets.- Iterative decomposition and aggregation of Stochastic marked graph Petri nets.- Constraints and extensions in a Calculus of EN systems.- Comparability orders and measurement.- Deterministic systems of sequential processes: A class of structured Petri nets.- Compositional state space generation.