9. APN 1988: Venice, Italy

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

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