7. APN 1986: Oxford, UK

• Claude Girault, C. Chatelain, Serge Haddad:
  Specification and properties of a cache coherence protocol model. 1-20
  
• Fiorella de Cindio, Giorgio De Michelis, Carla Simone:
  GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems. 21-44
  
• Rodney R. Howell, Louis E. Rosier:
  Recent results on the complexity of problems related to Petri nets. 45-72
  
• Serge Haddad, Claude Girault:
  Algebraic structure of flows of a regular coloured net. 73-88
  
• Ryszard Janicki, Maciej Koutny:
  On equivalent execution semantics of concurrent systems. 89-103
  
• Fritz Krückeberg, Michael Jaxy:
  Mathematical methods for calculating invariants in Petri nets. 104-131
  
• Marco Ajmone Marsan, Giovanni Chiola:
  On Petri nets with deterministic and exponentially distributed firing times. 132-145
  
• Marco Ajmone Marsan, Giovanni Chiola, Andrea Fumagalli:
  An accurate performance model of CSMA/CD bus LAN. 146-161
  
• Erik Meijer:
  Petri net models for the lambda-calculus. 162-180
  
• Agathe Merceron:
  Fan processes. 181-195
  
• Ernst-Rüdiger Olderog:
  Operational Petri net semantics for CCSP. 196-223
  
• Elisabeth Pelz:
  Infinitary languages of Petri nets and logical sentences. 224-237
  
• Wolfgang Reisig:
  A strong part of concurrency. 238-272
  
• C. A. Petri, Einar Smith:
  Concurrency and continuity. 273-292
  
• Jacques Vautherin:
  Parallel systems specitications with coloured Petri nets and algebraic specifications. 293-308
  
• Stefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, Rolf Walter:
  Bibliography of Petri nets. 309-451