Skip to main content

Modelling Time Using Petri Nets

  • Chapter
  • First Online:
Carl Adam Petri: Ideas, Personality, Impact
  • 477 Accesses

Abstract

Nowadays there exist more and more systems, such as real-time systems and embedded systems, whose behaviours depend on explicit values of time. It has been shown that simple easy-to-understand models can represent and analyse sophisticated and complex time behaviours, showing the potential descriptive power and relevance of Petri Nets.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. J.-M. Ayache, J. Courtiat, M. Diaz, Rebus, a fault tolerant distributed system for industrial real-time control. IEEE Trans. Comput. C-31(7), 637–647 (1982)

    Article  Google Scholar 

  2. C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D. Thesis, Dept. Electrical Engineering, MIT, Cambridge, MA, 1974

    Google Scholar 

  3. P.M. Merlin, D.J. Farber, Recoverability of communication protocols: implications of a theoretical study. IEEE Trans. Commun. 24(9), 1036–1043 (1976)

    Article  MathSciNet  Google Scholar 

  4. B. Berthomieu, M. Menasche, A state enumeration approach for analyzing time Petri nets, in Proceeding of Applications and Theory of Petri Nets (ATPN’82), Como, Italy, 1982, pp. 27–56

    Google Scholar 

  5. B. Berthomieu, M. Diaz, Modeling and verification of time dependent systems using Time Petri Nets. IEEE Trans. Softw. Eng. 17(3), 259–273 (1991)

    Article  MathSciNet  Google Scholar 

  6. M. Diaz, P. Senac, Time Stream Petri Nets, a multi-media model for streams synchronization, in Proceedings of the First International Conference on Multi-Media Modelling, vol. l, ed. by T.-S. Chua, T.L. Kunii (World Scientific Singapore, Singapore, 1993), pp. 257–273

    Google Scholar 

  7. M. Diaz, P. Senac, Time Stream Petri Nets, a model for timed multi-media information, in 15th International Conference on Application and Theory of Petri Nets, June 1994, ed. by R. Valette. LNCS, vol. 815 (Springer, Berlin, 1994), pp. 219–238

    Google Scholar 

  8. P. Senac, M. Diaz, A. Light, P. De Saqui Sannes, Modelling logical and temporal synchronization in hypermedia systems. IEEE J. Selected Areas Commun. 14(1), 84–103 (1996)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Michel Diaz .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Diaz, M. (2019). Modelling Time Using Petri Nets. In: Reisig, W., Rozenberg, G. (eds) Carl Adam Petri: Ideas, Personality, Impact. Springer, Cham. https://doi.org/10.1007/978-3-319-96154-5_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-96154-5_23

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-96153-8

  • Online ISBN: 978-3-319-96154-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics