default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd APN 1982: Varenna, Italy
- Anastasia Pagnoni, Grzegorz Rozenberg:
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 Communicating Systems and Petri Nets. 40-59 - Marc Courvoisier:
A Matrix-Based Implementation of Generalized Petri Nets. 60-73 - Pascal 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, Marc 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 23:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
