9. APN 1988: Venice, Italy

@proceedings{DBLP:conf/apn/1988,
  editor    = {Grzegorz Rozenberg},
  title     = {Advances in Petri Nets 1989, covers the 9th European Workshop
               on Applications and Theory in Petri Nets, held in Venice, Italy
               in June 1988, selected papers},
  booktitle = {Applications and Theory of Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {424},
  year      = {1990},
  isbn      = {3-540-52494-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Marco Ajmone Marsan: Stochastic Petri nets: an elementary introduction. 1-29 BibTeX
• Marco Ajmone Marsan, Giovanni Chiola, Andrea Fumagalli: Improving the efficiency of the analysis of DSPN models. 30-50 BibTeX
• Charles André: Synchronized elementary net systems. 51-76 BibTeX
• Ludmila Cherkasova, Vadim E. Kotov: Descriptive and analytical process algebras. 77-104 BibTeX
• Jörg Desel, Agathe Merceron: P/T-systems as abstractions of C/E-systems. 105-127 BibTeX
• Raymond R. Devillers: The semantics of capacities in P/T nets. 128-150 BibTeX
• Frits Feldbrugge: Petri net tool overview 1989. 151-178 BibTeX
• Hartmann J. Genrich: Equivalence transformations of PrT-nets. 179-208 BibTeX
• Serge Haddad: A reduction theory for coloured nets. 209-235 BibTeX
• Claire Hanen: Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets. 236-261 BibTeX
• Theodor Hildebrand, Nicolas Trèeves: S-CORT^(R): a method for the development of electronic payment systems. 262-280 BibTeX
• Hervé P. Hillion: Timed Petri nets and application to multi-stage production systems. 281-305 BibTeX
• Astrid Kiehn: Petri Net systems and their closure properties. 306-328 BibTeX
• David May, Roger Shepherd: Occam and the transputer. 329-353 BibTeX
• Elisabeth Pelz: About the concurrent behaviour of EN systems: definability and closure results. 354-373 BibTeX
• Manuel Silva, Robert Valette: Petri nets and flexible manufacturing. 374-417 BibTeX
• Peter H. Starke: Some properties of timed nets under the earliest firing rule. 418-432 BibTeX
• Nicolas Trèves: A comparative study of different techniques for semi-flows computation in place/transition nets. 433-452 BibTeX
• Heikki Tuominen: Elementary net systems and dynamic logic. 453-466 BibTeX
• Walter Vogler: Representation of a swapping class by one net. 467-486 BibTeX

• Eike Best: Design Methods Based on Nets, Esprit Basic Research Action DEMON. 487-506 BibTeX
• Ugo Montanari: CEDISYS: Compositional Distributed Systems - State of the art, research goals, references. 507-524 BibTeX