11. APN 1990: Paris, France

@proceedings{DBLP:conf/apn/1990,
  editor    = {Grzegorz Rozenberg},
  title     = {Advances in Petri Nets 1991, Papers from the 11th International
               Conference on Applications and Theory of Petri Nets,  Paris,
               France, June 1990},
  booktitle = {Applications and Theory of Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {524},
  year      = {1991},
  isbn      = {3-540-54398-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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