7. APN 1986: Oxford, UK

Grzegorz Rozenberg (Ed.): Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986. Lecture Notes in Computer Science 266 Springer 1987, ISBN 3-540-18086-9 BibTeX

@proceedings{DBLP:conf/apn/1986,
  editor    = {Grzegorz Rozenberg},
  title     = {Advances in Petri Nets 1987, covers the 7th European Workshop
               on Applications and Theory of Petri Nets, Oxford, UK, June 1986},
  booktitle = {Applications and Theory of Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {266},
  year      = {1987},
  isbn      = {3-540-18086-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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