InhaltsangabeDelays in synchronized elementary net systems.- Proving temporal properties of Petri nets.- The complexity of testing the equivalence of transition sequences.- Use of reentrant nets in modular analysis of colored nets.- On abstractions of nets.- Semantics, composition and net properties of algebraic high-level nets.- Top-down synthesis of live and bounded free choice nets.- Hood nets.- Distributable nets.- Computer supported design of kanban controlled production.- Optimal simulations, nets and reachability graphs.- An integrated software development methodology based on hierarchical colored Petri nets.- On net systems generated by process foldings.- On liveness preservation by composition of nets via a set of places.- Software implementation of petri nets and compilation of rule-based systems.- Bibliography of Petri nets 1990.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg