10. APN 1989: Bonn, Germany

@proceedings{DBLP:conf/apn/1989,
  editor    = {Grzegorz Rozenberg},
  title     = {Advances in Petri Nets 1990 [10th International Conference on
               Applications and Theory of Petri Nets, Bonn, Germany, June 1989,
               Proceedings]},
  booktitle = {Applications and Theory of Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {483},
  year      = {1991},
  isbn      = {3-540-53863-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Wilfried Brauer, Robert Gold, Walter Vogler: A survey of behaviour and equivalence preserving refinements of Petri nets. 1-46 BibTeX
• B. Bütler, R. Esser, R. Mattmann: A distributed simulator for high order Petri nets. 47-63 BibTeX
• Janette Cardoso, Robert Valette, Didier Dubois: Petri nets with uncertain markings. 64-78 BibTeX
• José Manuel Colom, Manuel Silva: Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. 79-112 BibTeX
• José Manuel Colom, Manuel Silva: Improving the linearly based characterization of P/T nets. 113-145 BibTeX
• Jean-Michel Couvreur, Javier Martínez: Linear invariants in commutative high level nets. 146-164 BibTeX
• Jörg Desel, Agathe Merceron: Vicinity respecting net morphisms. 165-185 BibTeX
• Claude Dutheillet, Serge Haddad: Regular stochastic Petri nets. 186-209 BibTeX
• Javier Esparza, Manuel Silva: Circuits, handles, bridges and nets. 210-242 BibTeX
• Javier Esparza, Manuel Silva: On the analysis and synthesis of free choice systems. 243-286 BibTeX
• Gerard Florin, Claude Kaiser, Stéphane Natkin: Petri net models of a distributed election protocol on a unidirectional ring. 287-312 BibTeX
• Peter Huber, Kurt Jensen, Robert M. Shapiro: Hierarchies in coloured Petri nets. 313-341 BibTeX
• Kurt Jensen: Coloured Petri nets: A high level language for system design and analysis. 342-416 BibTeX
• Gary J. Nutt: A simulation system architecture for graph models. 417-435 BibTeX
• Lucia Pomello, Carla Simone: A state transformation preorder over a class of EN systems. 436-456 BibTeX
• Younes Souissi, Gérard Memmi: Composition of nets via a communication medium. 457-470 BibTeX
• P. David Stotts, Richard Furuta: \alphaTrellis: A system for writing and browsing Petri-net-based hypertext. 471-490 BibTeX
• Antti Valmari: Stubborn sets for reduced state space generation. 491-515 BibTeX