Applications and Theory of Petri Nets

1. Front Matter

   Pages N1-VI

   PDF

2. Invited address

   1. Some Personal Views of Net Theory

      • C. A. Petri

      Pages 1-13

3. List of contributions

   1. Structural Transformations Giving B-Equivalent PT-Nets

      • C. Andre

      Pages 14-28

   2. Equivalence Notions for Concurrent Systems

      • F. De Cindio, G. De Michelis, L. Pomello, C. Simone

      Pages 29-39

   3. Milner’s Communicating Systems and Petri Nets

      • F. De Cindio, G. De Michelis, L. Pomello, C. Simone

      Pages 40-59

   4. A Matrix-Based Implementation of Generalized Petri Nets

      • M. Courvoisier

      Pages 60-73

   5. Petri Nets Specification of Virtual Ring Protocols

      • P. Estraillier, C. Girault

      Pages 74-85

   6. A Note on D-Continuous Causal Nets

      • C. Fernández, P. S. Thiagarajan

      Pages 86-97

   7. S-invariance in Predicate/Transition Nets

      • H. J. Genrich, K. Lautenbach

      Pages 98-111

   8. A Diagram Editor for Line Drawings with Inscriptions

      • Hartmann J. Genrich, Robert M. Shapiro

      Pages 112-131

   9. Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets

      • N. D. Hansen, K. H. Madsen

      Pages 132-148

   10. Notions of Computability by Petri Nets

       • Matthias Jantzen, Hendrik Bramhoff

       Pages 149-165

   11. High-Level Petri Nets

       • Kurt Jensen

       Pages 166-180

   12. Specification and Verification of Networks in a Petri Net based Language

       • Morten Kyng

       Pages 181-198

   13. Construction of Distributed Systems from Cycle-Free Finite Automata

       • Rainer Prinoth

       Pages 199-220

   14. A Graph Theoretical Property for Minimal Deadlock

       • G. Memmi

       Pages 221-228

   15. Petri Nets With Individual Tokens

       • W. Reisig

       Pages 229-249

   16. Subset Languages of Petri Nets

       • G. Rozenberg, R. Verraedt

       Pages 250-263

   17. Control of Flexible Production Systems and Petri Nets

       • R. Valette, M. Courvoisier, D. Mayeux

       Pages 264-277

   18. On the Notion of Interface in Condition/Event-Systems

       • Klaus Voss

       Pages 278-291

This volume presents a selection of papers presented at the 3rd European Workshop on Appl ications and Theory of Petri Nets that took place in Villa Monastero, Varenna (Italy) in the period September 27 - September 30, 1982. The I ist of topics included: nets and related models, mathematical analysis of nets, transformations and morphisms of nets, formal languages and nets, parallel program verification and nets, the pro­ blem of time in nets, programming languages based on nets, applications to distributed systems, applications to realtime systems, software ~~gineering, hardware design and its implementation, recoverability problems, nets and formal semantics; net tools. The diversity of topics on this list witnesses the fact that the researchers from very different areas presented their contributions and discussed various research problems during the workshop. This interaction of scientists looking at the area of Petri nets from very different points of view makes this series of workshops interesting and worthwi le. The volume documents the progress of the research concerning Petri nets during a one­ year time from the 2nd European Workshop held in Bad Honnef in 1981. We think that this was a substantial progress indeed. This observation is even more pleasant if one real izes that during the workshop in Varenna we have celebrated 20 years of "existence" of Petri nets (the seminal work by prof. C.A. Petri appeared precisely 20 years ago). We are very proud to present an invited address by prof. C.A. Petri in this volume.

• Applications
• Petri-Netz
• design
• distributed systems
• hardware design
• language
• programming
• programming language
• semantics
• software
• verification

• Istituto di Metodi Quantitativi, Università “Luigi Bocconi”, Milano, Italy

  Anastasia Pagnoni

• Institut of Applied Mathematics and Computer Science, University of Leiden, Leiden, The Netherlands

  Grzegorz Rozenberg

Policies and ethics