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
Last update Tue May 22 23:22:46 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
