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

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