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
Copyright © Sat May 16 22:58:14 2009
by Michael Ley (ley@uni-trier.de)