default search action
11th APN 1990: Paris, France
- Grzegorz Rozenberg:
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 Suárez:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.