Skip to main content
SpringerLink
Log in

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 (under auspices of AFCET, AICA, GI, and EATCS)

  • Conference proceedings
  • © 1983

Overview

Editors:
  1. Anastasia Pagnoni

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Grzegorz Rozenberg

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Informatik-Fachberichte (INFORMATIK, volume 66)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Pages N1-VI
    Download chapter 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
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

  • Book Title: Applications and Theory of Petri Nets

  • Book Subtitle: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27–30, 1982 (under auspices of AFCET, AICA, GI, and EATCS)

  • Editors: Anastasia Pagnoni, Grzegorz Rozenberg

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-642-69028-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1983

  • Softcover ISBN: 978-3-540-12309-5Published: 01 May 1983

  • eBook ISBN: 978-3-642-69028-0Published: 06 December 2012

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: VI, 315

  • Topics: Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation