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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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)
C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Ph.D. Thesis, Dept. Electrical Engineering, MIT, Cambridge, MA, 1974
P.M. Merlin, D.J. Farber, Recoverability of communication protocols: implications of a theoretical study. IEEE Trans. Commun. 24(9), 1036–1043 (1976)
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
B. Berthomieu, M. Diaz, Modeling and verification of time dependent systems using Time Petri Nets. IEEE Trans. Softw. Eng. 17(3), 259–273 (1991)
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
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
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
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)