Skip to main content
SpringerLink
Log in

On the Problem of Time in Nets

  • Conference paper
Application and Theory of Petri Nets

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

Abstract

We use Timed Petri Nets (TPN) in our general modelling tool for sociotechnical systems, called Function Nets. Our interest is to find the general differences in behaviour between Petri Nets and TPN. The influence of timing to basic net-properties is discussed: The time-concept imposes a restriction to the set of firing-sequences in a given net, which in turn influences the liveness of the net. The standard-liveness is not suitable for our purpose. The use of more basic liveness-definitions is suggested. A modelling example utilizing a TPN is given.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature

  1. GenrichrH.J.; Stankiewicz-Wiechno,E.: A Dictionary of some Basic Notions of Net Theory. Net Theory and Applications. LNCS, Vol. 84 (1980)

    Google Scholar 

  2. Ghosh,S.: Some Comments on Timed Petri Nets. Reseaux de Petri, AFCET (Mars 1977 )

    Google Scholar 

  3. Godbersen,H.P., Meyer,B.E.: Function Nets as a Tool for the Simulation of Information Systems. Proceedings Summer Computer Simulation Conference, Newport Beach, Ca. (July 1978), AFIPS Press

    Google Scholar 

  4. Godbersen,H.P.: Funktionsnetze, Ein Ansatz zur Beschreibung, Analyse und Simulation soziotechnischer Systeme. Proceedings GI-Fachtagung Formale Modelle fuer Informationssysteme (May 1979), Informatik Fachberichte, Bd. 21

    Google Scholar 

  5. Go80/ Godbersen,H.P.: A Net Simulation Language. Proceedings Summer Computer Simulation Conference, Seattle, Wa. (Aug. 1980), AFIPS Press

    Google Scholar 

  6. Lautenbach,K.: Liveness in Petri Nets. GMD,Internal-Report 02. 1 /75 (1975)

    Google Scholar 

  7. Noe,.J.D.: Nets in Modeling and Simulation. Net Theory and Applications. LNCS, Vol. 84 (1980)

    Google Scholar 

  8. Ramchandani,C.: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. MIT, MAC-TR-120, (Febr. 1974 )

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut fuer Angewandte Informatik, Technische Universitaet Berlin, Kurfuerstendamm 202, D 1000, Berlin 15, West-Germany

    Heinrich P. Godbersen

Authors
  1. Heinrich P. Godbersen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Intitut de Programmation, Université Paris VI, Place Jussieu, F-75230, Paris Cedex 05, France

    Claude Girault

  2. Lehrstuhl für Informatik II, RWTH Aachen, Büchel 29-31, 5100, Aachen, Germany

    Wolfgang Reisig

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Godbersen, H.P. (1982). On the Problem of Time in Nets. In: Girault, C., Reisig, W. (eds) Application and Theory of Petri Nets. Informatik-Fachberichte, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68353-4_4

Download citation

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

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11189-4

  • Online ISBN: 978-3-642-68353-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation