Abstract
In timed Petri nets temporal properties are associated with transitions as transition firing times (or occurrence times). Specific properties of timed nets, such as boundedness or absence of deadlocks, can depend upon temporal properties and sometimes even a small change of these properties has a significant effect on the net’s behavior (e.g., a bounded net becomes unbounded or vice versa). The objective of symbolic analysis of timed nets is to provide information about the net’s behavior which is independent of specific temporal properties, i.e., which describes preperties of the whole class of timed nets with the same structure.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. on Computer Systems 2(2), 93–122 (1984)
Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modeling with generalized stochastic Petri nets. Wiley and Sons (1995)
Bause, F., Kritzinger, P.S.: Stochastic Petri nets – and introduction to the theory, 2nd edn. Vieweg Verlag (2002)
Girault, C., Valk, R.: Petri nets for systems engineering. Springer (2002)
Haggstrom, O.: Finite Markov chains and algorithmic applications. Cambridge Univ. Press (2003)
He, X., Murata, T.: High-level Petri nets - extensions, analysis and applications. In: The Electrical Engineering Handbook, pp. 459–475. Academic Press (2007)
Murata, T.: Petri nets: properties, analysis, and applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Popova-Zeugmann, L.: Time and Pertri nets. Springer (2013)
Proth, J.M., Xie, X.: Petri nets. Wiley & Sons (1996)
Reisig, W.: Petri nets – an introduction. EATCS Monographs on Theoretical Computer Science, vol. 4. Springer (1995)
Reisig, W.: Understanding Petri nets – modeling techniques, analysis methods, case studies. Springer (2013)
Robertazzi, T.A.: Computer networks and systems: queueing theory and performance evaluation, 3rd edn. Springer (2000)
Stewart, W.J.: Introduction to the numerical solution of Markov chains. Princeton University Press (1994)
Wang, J.: Timed Petri nets. Kluwer Academic Publ. (1998)
Zuberek, W.M.: M–timed Petri nets, priorities, preemptions, and performance evaluation of systems. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol. 222, pp. 478–498. Springer, Heidelberg (1986)
Zuberek, W.M.: D–timed Petri nets and modelling of timeouts and protocols. Transactions of the Society for Computer Simulation 4(4), 331–357 (1987)
Zuberek, W.M.: Timed Petri nets – definitions, properties and applications. Microelectronics and Reliability (Special Issue on Petri Nets and Related Graph Models) 31(4), 627–644 (1991)
Zuberek, W.M.: Structural methods in performance analysis of discrete-event systems. In: Proc. 9th IEEE Int. Conf. on Methods and Models in Automation and Robotics, pp. 878–882 (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Zuberek, W.M. (2015). Symbolic Analysis of Timed Petri Nets. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) Theory and Engineering of Complex Systems and Dependability. DepCoS-RELCOMEX 2015. Advances in Intelligent Systems and Computing, vol 365. Springer, Cham. https://doi.org/10.1007/978-3-319-19216-1_57
Download citation
DOI: https://doi.org/10.1007/978-3-319-19216-1_57
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19215-4
Online ISBN: 978-3-319-19216-1
eBook Packages: EngineeringEngineering (R0)