Abstract is missing.
- Delays in synchronized elementary net systemsCharles André. 1-28
- Proving temporal properties of Petri NetsJulian C. Bradfield. 29-47
- The complexity of testing the equivalence of transition sequencesHeino Carstensen. 48-57
- Use of reentrant nets in modular analysis of colored netsGhassan Chehaibar. 58-77
- On abstraction of netsJörg Desel. 78-92
- Semantics, composition and net properties of algebraic high-level netsChristian Dimitrovici, Udo Hummert, Laure Petrucci. 93-117
- Top-down synthesis of live and bounded free choice netsJavier Esparza, Manuel Silva. 118-139
- Hood netsRaffaele di Giovanni. 140-160
- Distributable netsRichard P. Hopkins. 161-187
- Computer supported design of Kanban controlled productionFrank Itter, Claudia Relewicz. 188-204
- Optimal simulations, nets and reachability graphsRyszard Janicki, Maciej Koutny. 205-226
- An integrated software development methodology based on hierarchical colored Petri NetsValerio O. Pinci, Robert M. Shapiro. 227-252
- On net systems generated by process foldingsEinar Smith. 253-276
- On liveness preservation by composition of nets via a set of placesYounes Souissi. 277-295
- Software Implementation of Petri nets and compilation of rule-based systemsRobert Valette, Babou Bako. 296-316
- Bibliography on Petri nets 1990Helmut Plünnecke, Wolfgang Reisig. 317-572