Petri Nets with Time

In previous chapters, Place/Transition nets have been used to model Discrete Event Systems with the aim of analyzing logical properties. However, such a model is not suitable for performance analysis because it does not keep into account the duration of the activities occurring in a system. Several extensions have been presented in the literature to address this issue, enriching the basic P/T net model with different temporal metrics and semantics. In this chapter we discuss the most common and significant ones.

[1]  Serge Haddad,et al.  Comparison of Different Semantics for Time Petri Nets , 2005, ATVA.

[2]  Philip Meir Merlin,et al.  A study of the recoverability of computing systems. , 1974 .

[3]  François Vernadat,et al.  Time Petri Nets Analysis with TINA , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

[4]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[5]  Marc Boyer,et al.  On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets , 2008, Fundam. Informaticae.

[6]  Jiacun Wang,et al.  Timed Petri Nets , 1998, The Kluwer International Series on Discrete Event Dynamic Systems.

[7]  Thomas A. Henzinger,et al.  Temporal Proof Methodologies for Timed Transition Systems , 1994, Inf. Comput..

[8]  Nick Roussopoulos,et al.  Timing Requirements for Time-Driven Systems Using Augmented Petri Nets , 1983, IEEE Transactions on Software Engineering.

[9]  Marco Ajmone Marsan,et al.  Stochastic Petri nets: an elementary introduction , 1988, European Workshop on Applications and Theory in Petri Nets.

[10]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[11]  J. J. Zhu,et al.  Timed Petri nets and their application to communication protocol specification , 1988, MILCOM 88, 21st Century Military Communications - What's Possible?'. Conference record. Military Communications Conference.

[12]  Philippe Schnoebelen,et al.  On Model Checking Durational Kripke Structures , 2002, FoSSaCS.

[13]  Jiacun Wang,et al.  Timed Petri Nets: Theory and Application , 1998 .

[14]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[15]  Neil D. Jones,et al.  Complexity of Some Problems in Petri Nets , 1977, Theor. Comput. Sci..

[16]  Charles Rattray,et al.  Theories and Experiences for Real-Time System Development , 1995 .

[17]  Giovanni Chiola,et al.  Properties and Performance Bounds for Timed Marked Graphs , 1992 .

[18]  Didier Lime,et al.  Romeo: A Tool for Analyzing Time Petri Nets , 2005, CAV.

[19]  Thomas A. Henzinger,et al.  What Good Are Digital Clocks? , 1992, ICALP.

[20]  Pierre-Alain Reynier,et al.  Weak Time Petri Nets Strike Back! , 2009, CONCUR.