Abstract is missing.
- Some Personal Views of Net TheoryC. A. Petri. 1-13
- Structural Transformations Giving B-Equivalent PT-NetsCharles André. 14-28
- Equivalence Notions for Concurrent SystemsFiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone. 29-39
- Milner s Communicationg Systmes and Petri NetsFiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone. 40-59
- A Matrix-Based Implementation of Generalized Petri NetsM. Courvoisier. 60-73
- Petri Nets Specification of Virtual Ring ProtocolsP. Estraillier, Claude Girault. 74-85
- A Note on D-Continuous Causal NetsCésar Fernández, P. S. Thiagarajan. 86-97
- S-Invariance in Predicate/Transition NetsHartmann J. Genrich, Kurt Lautenbach. 98-111
- A Diagram Editor for Line Drawings with InscriptionsHartmann J. Genrich, Robert M. Shapiro. 112-131
- Formal Semantics by a Combination of Denotational Semantics and High-Level Petri NetsNiels Damgaard Hansen, K. H. Madsen. 132-148
- Notions of Computability by Petri NetsMatthias Jantzen, Hendrik Bramhoff. 149-165
- High-Level Petri NetsKurt Jensen. 166-180
- Specification and Verification of Networks in a Petri Net Based LanguageMorten Kyng. 181-198
- Construction of Distributed Systems from Cycle-Free Finite AutomataRainer Prinoth. 199-220
- A Graph Theoretical Porperty for Minimal DeadlockGérard Memmi. 221-228
- Petri Nets with Individual TokensWolfgang Reisig. 229-249
- Subset Languages of Petri NetsGrzegorz Rozenberg, R. Verraedt. 250-263
- Control of Flexible Production Systems and Petri NetsRobert Valette, M. Courvoisier, D. Mayeux. 264-277
- On the Notion of Interface in Condition/Event-SystemsKlaus Voss. 278-291
- Behavioral Equivalence of Concurrent SystemsMichael Yoeli, Tuvi Etzion. 292-305