6. APN 1985: Espoo, Finland

@proceedings{DBLP:conf/apn/1985,
  editor    = {Grzegorz Rozenberg},
  title     = {Advances in Petri Nets 1985, covers the 6th European Workshop
               on Applications and Theory in Petri Nets, Espoo, Finland in June
               1985, selected papers},
  booktitle = {Applications and Theory of Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {222},
  year      = {1986},
  isbn      = {3-540-16480-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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