Skip to main content
SpringerLink
Log in

Concurrency and Nets

Advances in Petri Nets

  • Book
  • © 1987

Overview

Editors:
  1. Klaus Voss

    1. Gesellschaft für Mathematik und Datenverarbeitung, Schloss Birlinghoven, Sankt Augustin 1, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hartmann J. Genrich

    1. Gesellschaft für Mathematik und Datenverarbeitung, Schloss Birlinghoven, Sankt Augustin 1, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Grzegorz Rozenberg

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (37 chapters)

  1. Front Matter

    Pages I-1
    Download chapter PDF

  2. Addresses and Talks Given at the Colloquium

    1. Congratulatory Address

      • Friedrich Winkelhage
      Pages 3-4

    2. Congratulatory Address

      • Wilfried Brauer
      Pages 5-6

    3. Congratulatory Address

      • Grzegorz Rozenberg
      Pages 7-8

    4. Congratulatory Address

      • Fritz Krückeberg
      Pages 9-9

    5. Congratulatory Address

      • Hartmann J. Genrich
      Pages 11-12

    6. Carl Adam Petri and Informatics

      • Wilfried Brauer
      Pages 13-21

    7. Applying Petri Net Based Models in the Design of Systems

      • Michel Diaz
      Pages 23-67

  3. Contributed Papers

    1. Front Matter

      Pages 69-69
      Download chapter PDF

    2. Some Classes of Live and Safe Petri Nets

      • Eike Best, Pazhamaneri S. Thiagarajan
      Pages 71-94

    3. A model of cooperation and its specification with nets

      • H.-J. Burkhardt, H. Eckert, R. Prinoth, E. Raubold
      Pages 95-114

    4. The Communication Disciplines of CHAOS

      • F. De Cindio, G. De Michelis, C. Simone
      Pages 115-139

    5. On the Structure of Dependence Graphs

      • A. Ehrenfeucht, G. Rozenberg
      Pages 141-170

    6. Some Remarks on D-Continuity

      • César Fernández, Agathe Merceron
      Pages 171-186

    7. Numerical Simulations with Place/Transactor-Nets

      • Hans Fuss
      Pages 187-199

    8. Net Models of Dynamically Evolving Data Structures

      • Hartmann J. Genrich
      Pages 201-216

    9. On Condition/Event Representations of Place/Transition Systems

      • Ursula Goltz
      Pages 217-231

    10. Finite Conjunctive Nondeterminism (Extended Abstract)

      • M. Hennessy, G. Plotkin
      Pages 233-244

    11. Petri Net Languages and One-Sided Dyck-Reductions On Context-Free Sets

      • M. Jantzen, H. Petersen
      Pages 245-252

    12. From Nets to Logic and Back in the Specification of Processes

      • V. E. Kotov, L. A. Cherkasova
      Pages 253-268
Back to top

Keywords

About this book

Concurrency and Nets is a special volume in the series "Advances in Petri Nets". Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful scientific work. Part I (70 pages of over 600) presents the congratulatory addresses and invited talks that were given at an Anniversary Colloquium. The contributions of this part honor Carl Adam Petri and his work from many different perspectives. Part II is a collection of invited papers discussing various aspects of the theme Concurrency and Nets. These papers are contributed partly by researchers that were or are still associated with the Petri Institute at GMD and partly by researchers whose scientific work deals with Net Theory or related system models. The topics range from basic theoretical aspects to application oriented methods.

Editors and Affiliations

  • Gesellschaft für Mathematik und Datenverarbeitung, Schloss Birlinghoven, Sankt Augustin 1, Germany

    Klaus Voss, Hartmann J. Genrich

  • Department of Mathematics and Computer Science, University of Leiden, Leiden, The Netherlands

    Grzegorz Rozenberg

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation