3. APN 1982: Varenna, Italy

Anastasia Pagnoni, Grzegorz Rozenberg (Eds.): Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982. Informatik-Fachberichte 66 Springer 1983, ISBN 3-540-12309-1 BibTeX

@proceedings{DBLP:conf/apn/1982,
  editor    = {Anastasia Pagnoni and
               Grzegorz Rozenberg},
  title     = {Applications and Theory of Petri Nets, Selected Papers from the
               3rd European Workshop on Applications and Theory of Petri Nets,
               Varenna, Italy, September 27-30, 1982},
  booktitle = {European Workshop on Applications and Theory of Petri Nets},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {66},
  year      = {1983},
  isbn      = {3-540-12309-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

C. A. Petri: Some Personal Views of Net Theory. 1-13 BibTeX
Charles André: Structural Transformations Giving B-Equivalent PT-Nets. 14-28 BibTeX
Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone: Equivalence Notions for Concurrent Systems. 29-39 BibTeX
Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone: Milner's Communicationg Systmes and Petri Nets. 40-59 BibTeX
M. Courvoisier: A Matrix-Based Implementation of Generalized Petri Nets. 60-73 BibTeX
P. Estraillier, Claude Girault: Petri Nets Specification of Virtual Ring Protocols. 74-85 BibTeX
César Fernández, P. S. Thiagarajan: A Note on D-Continuous Causal Nets. 86-97 BibTeX
Hartmann J. Genrich, Kurt Lautenbach: S-Invariance in Predicate/Transition Nets. 98-111 BibTeX
Hartmann J. Genrich, Robert M. Shapiro: A Diagram Editor for Line Drawings with Inscriptions. 112-131 BibTeX
Niels Damgaard Hansen, K. H. Madsen: Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets. 132-148 BibTeX
Matthias Jantzen, Hendrik Bramhoff: Notions of Computability by Petri Nets. 149-165 BibTeX
Kurt Jensen: High-Level Petri Nets. 166-180 BibTeX
Morten Kyng: Specification and Verification of Networks in a Petri Net Based Language. 181-198 BibTeX
Rainer Prinoth: Construction of Distributed Systems from Cycle-Free Finite Automata. 199-220 BibTeX
Gérard Memmi: A Graph Theoretical Porperty for Minimal Deadlock. 221-228 BibTeX
Wolfgang Reisig: Petri Nets with Individual Tokens. 229-249 BibTeX
Grzegorz Rozenberg, R. Verraedt: Subset Languages of Petri Nets. 250-263 BibTeX
Robert Valette, M. Courvoisier, D. Mayeux: Control of Flexible Production Systems and Petri Nets. 264-277 BibTeX
Klaus Voss: On the Notion of Interface in Condition/Event-Systems. 278-291 BibTeX
Michael Yoeli, Tuvi Etzion: Behavioral Equivalence of Concurrent Systems. 292-305 BibTeX