Advances in Petri Nets 1990

Wilfried Brauer, Robert Gold, Walter Vogler (auth.), Grzegorz Rozenberg (eds.)3540538631, 9783540538639

The main idea behind the series of volumes Advances in PetriNets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON.

---

Table of contents :
A survey of behaviour and equivalence preserving refinements of petri nets….Pages 1-46
A distributed simulator for high order Petri nets….Pages 47-63
Petri nets with uncertain markings….Pages 64-78
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows….Pages 79-112
Improving the linearly based characterization of P/T nets….Pages 113-145
Linear invariants in commutative high level nets….Pages 146-164
Vicinity respecting net morphisms….Pages 165-185
Regular stochastic petri nets….Pages 186-209
Circuits, handles, bridges and nets….Pages 210-242
On the analysis and synthesis of free choice systems….Pages 243-286
Petri net models of a distributed election protocol on a unidirectional ring….Pages 287-312
Hierarchies in coloured petri nets….Pages 313-341
Coloured petri nets: A high level language for system design and analysis….Pages 342-416
A simulation system architecture for graph models….Pages 417-435
A state transformation preorder over a class of EN systems….Pages 436-456
Composition of nets via a communication medium….Pages 457-470
αTrellis: A system for writing and browsing petri-net-based hypertext….Pages 471-490
Stubborn sets for reduced state space generation….Pages 491-515