6. APN 1985: Espoo, Finland

• Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth:
  The signing of a contract - a tree-structured application. 1-18
  
• Gérard Berthelot:
  Checking properties of nets using transformation. 19-40
  
• Gérard Boudol, Gérard Roucairol, Robert de Simone:
  Petri nets and algebraic calculi of processes. 41-58
  
• Hans-Dieter Burkhard:
  Fair controls and their realization. 59-82
  
• Luca A. Castellano:
  Beta processes of C/E systems. 83-100
  
• Yuan Chong-Yi:
  Synhronic distances in C/E systems. 101-121
  
• Yuan Chong-Yi:
  Process periods and system reconstruction. 122-141
  
• G. Comparin, Gaetano Aurelio Lanzarone, Kurt Lautenbach, Anastasia Pagnoni, W. Panzeri, A. Torgano:
  Guidelines on using net analysis techniques with large specifications. 142-161
  
• Ludwik Czaja:
  Making nets abstract and structures. 181-202
  
• Frits Feldbrugge:
  Petri net tools. 203-223
  
• Hartmann J. Genrich:
  Projections of C/E systems. 224-232
  
• Ursula Goltz, Yuan Chong-Yi:
  Synchronic structure - a tutorial. 233-252
  
• Dirk Hauschildt, Rüdiger Valk:
  Safe states in banker like resource allocation problems. 253-277
  
• Anatol W. Holt:
  Coordination technology and Petri nets. 278-296
  
• Kurt Jensen, Erik Meineche Schmidt:
  Pascal semantics by a combination of denotational semantics and high-level Petri nets. 297-329
  
• Y. Narahari, Nukala Viswanadham:
  On the invariants of coloured Petri nets. 330-345
  
• Michel Parigot, Elisabeth Pelz:
  A logical formalism for the study of the infinite behaviour of Petri nets. 346-361
  
• Helmut Plünnecke:
  Determination of a poset by its co-relation. 362-380
  
• Lucia Pomello:
  Some equivalence notions for concurrent systems. An overview. 381-400
  
• Gernot Richter, Klaus Voss:
  Towards a comprehensive office model integrating information and resources. 401-417
  
• Jacques Vautherin:
  Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs. 418-434
  
• Geoffrey R. Wheeler, Michael C. Wilbur-Ham, Jonathan Billington, J. A. Gilmour:
  Protocol analysis using numerical Petri nets. 435-452
  
• Glynn Winskel:
  Petri nets, morphisms and compositionality. 453-477
  
• Wlodzimierz M. Zuberek:
  M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets. 478-498