Skip to main content
SpringerLink
Log in

Application and Theory of Petri Nets

Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.–26. September 1980 Bad Honnef, 28.–30. September 1981

  • Conference proceedings
  • © 1982

Overview

Editors:
  1. Claude Girault

    1. Intitut de Programmation, Université Paris VI, Paris Cedex 05, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wolfgang Reisig

    1. Lehrstuhl für Informatik II, RWTH Aachen, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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 (50 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Papers of the First European Workshop on Application and Theory of Petri Nets

    1. Front Matter

      Pages N1-N1
      Download chapter PDF

    2. Application of Nets to Real-Time Systems

      1. Overview on Topic 1: Application of Nets to Real-Time Systems
        • G. Roucairol
        Pages 1-2
      2. Petri Net Modelling and Reliability of Distributed Algorithms
        • G. Berthelot, C. Girault, G. Roucairol
        Pages 3-10
      3. Using Petri-Nets in Measurement of a Distributed Data Base System
        • P. Rolin
        Pages 11-22
      4. On the Problem of Time in Nets
        • Heinrich P. Godbersen
        Pages 23-30

    3. Programming Languages and Software Engineering

      1. Overview on Topic 2: Programming Languages and Software Engineering
        • B. Cohen
        Pages 31-31
      2. Transforming nets along the syntactic production of programs
        • Eberhard Wegner
        Pages 32-37
      3. Design-Review by Petri-Nets
        • Ernst Grill
        Pages 38-44
      4. Concurrency in Functional Descriptions
        • Raul Camposano
        Pages 45-49
      5. RNL — A Language for Digital Systems Design Based on Nets
        • Wolfgang Rosenstiel
        Pages 50-55
      6. <u>Galileo</u>: A Methodology for Modelling and Designing Real Time Systems
        • F. Vidondo, I. López
        Pages 56-63
      7. Petri Nets and Semantics of System Descriptions
        • Kurt Jensen, Morten Kyng
        Pages 64-71

    4. Information Flow and Concurrency

      1. Overview on Topic 3: Information Flow and Concurrency
        • E. Best
        Pages 72-73
      2. The Relationship Between Time and Information
        • Robert R. Johnson
        Pages 74-81
      3. Information Flow in Nets
        • Eike Best
        Pages 82-87
      4. An Exercise in Processes with Infinite Pasts
        • Glynn Winskel
        Pages 88-95
      5. Two Alternative Definitions of Synchronic Distance
        • Goltz, Reisig, Thiagarajan
        Pages 96-103
      6. On the Construction of System Nets
        • Gert Scheschonk
        Pages 104-108

    5. Net Morphisms and Higher Level Net Interpretations

      1. Overview on Topic 4: Net Morphisms and Higher Level Net Interpretations
        • W. Reisig
        Pages 109-110
Back to top

Keywords

About this book

This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course presen ted in detail wha t had been achieved in this area since the first studies of concurrent systems 20 years ago, After this course it seemed worthwhile to establish a co-operation between different groups working in the field of Petri N ets, The starting points were the AFCET Special Interest Group "Systemes Paralleles et Distribues" and the Gl Special Interest Group "Petrinetze und verwandte Systemmodelle", Meanwhile, group s of many European countries are involved, A main activity of this co-operation is the realization of workshops in varying European countries, The first workshop of this kind was carried out in Strasbourg (France), September 23-26, 1980, The second one took place in Bad Honnef (Germany) September 28-30, 1981. This volume contains contributions of these two workshops, The 1980 workshop in Strasbourg was partitioned into 6 topics : (1) Application of Nets to Realtime Systems, (2) Programming Languages and Software Engineering, (3) Information Flow and Concurrency, (4) Net Morphisms and High Level Petri Nets, (5) Mathematical Analysis and N et Languages, (6) Reliability and Recovery Issues, In this volume, the chairman of each topic gives a short introduction to his area whict should help to understand its specific problems and to in troduce the presented papers,

Editors and Affiliations

  • Intitut de Programmation, Université Paris VI, Paris Cedex 05, France

    Claude Girault

  • Lehrstuhl für Informatik II, RWTH Aachen, Aachen, Germany

    Wolfgang Reisig

Bibliographic Information

  • Book Title: Application and Theory of Petri Nets

  • Book Subtitle: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.–26. September 1980 Bad Honnef, 28.–30. September 1981

  • Editors: Claude Girault, Wolfgang Reisig

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-642-68353-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1982

  • Softcover ISBN: 978-3-540-11189-4Published: 01 January 1982

  • eBook ISBN: 978-3-642-68353-4Published: 06 December 2012

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: X, 337

  • Topics: Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation