11. APN 1990: Paris, France

Grzegorz Rozenberg (Ed.): Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990. Lecture Notes in Computer Science 524 Springer 1991, ISBN 3-540-54398-8

Charles André:
Delays in synchronized elementary net systems. 1-28
Julian C. Bradfield:
Proving temporal properties of Petri Nets. 29-47
Heino Carstensen:
The complexity of testing the equivalence of transition sequences. 48-57
Ghassan Chehaibar:
Use of reentrant nets in modular analysis of colored nets. 58-77
Jörg Desel:
On abstraction of nets. 78-92
Christian Dimitrovici, Udo Hummert, Laure Petrucci:
Semantics, composition and net properties of algebraic high-level nets. 93-117
Javier Esparza, Manuel Silva:
Top-down synthesis of live and bounded free choice nets. 118-139
Raffaele di Giovanni:
Hood nets. 140-160
Richard P. Hopkins:
Distributable nets. 161-187
Frank Itter, Claudia Relewicz:
Computer supported design of Kanban controlled production. 188-204
Ryszard Janicki, Maciej Koutny:
Optimal simulations, nets and reachability graphs. 205-226
Valerio O. Pinci, Robert M. Shapiro:
An integrated software development methodology based on hierarchical colored Petri Nets. 227-252
Einar Smith:
On net systems generated by process foldings. 253-276
Younes Souissi:
On liveness preservation by composition of nets via a set of places. 277-295
Robert Valette, Babou Bako:
Software Implementation of Petri nets and compilation of rule-based systems. 296-316
Helmut Plünnecke, Wolfgang Reisig:
Bibliography on Petri nets 1990. 317-572