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)

  • Anastasia Pagnoni
  • Grzegorz Rozenberg
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages N1-VI
  2. Invited address

    1. C. A. Petri
      Pages 1-13
  3. List of contributions

    1. F. De Cindio, G. De Michelis, L. Pomello, C. Simone
      Pages 29-39
    2. F. De Cindio, G. De Michelis, L. Pomello, C. Simone
      Pages 40-59
    3. P. Estraillier, C. Girault
      Pages 74-85
    4. C. Fernández, P. S. Thiagarajan
      Pages 86-97
    5. H. J. Genrich, K. Lautenbach
      Pages 98-111
    6. Hartmann J. Genrich, Robert M. Shapiro
      Pages 112-131
    7. Matthias Jantzen, Hendrik Bramhoff
      Pages 149-165
    8. Kurt Jensen
      Pages 166-180
    9. W. Reisig
      Pages 229-249
    10. G. Rozenberg, R. Verraedt
      Pages 250-263
    11. R. Valette, M. Courvoisier, D. Mayeux
      Pages 264-277
    12. Michael Yoeli, Tuvi Etzion
      Pages 292-305
  4. Back Matter
    Pages 306-N2

About these proceedings


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

Editors and affiliations

  • Anastasia Pagnoni
    • 1
  • Grzegorz Rozenberg
    • 2
  1. 1.Istituto di Metodi QuantitativiUniversità “Luigi Bocconi”MilanoItaly
  2. 2.Institut of Applied Mathematics and Computer ScienceUniversity of LeidenLeidenThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1983
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-12309-5
  • Online ISBN 978-3-642-69028-0
  • Series Print ISSN 0343-3005
  • Buy this book on publisher's site