A brief survey and synthesis of the roles of time in petri nets

Petri nets augmented with time are interesting models which can be used for the modelling and analysis of a wide range of concurrent discrete-event systems. In this paper, the nature of the semantics of different approaches to incorporating time in Petri nets is illustrated by examples. The paper considers the critical roles of conflict, confusion and concurrence in the formulation of execution policies. Several different methods for the analysis of timed Petri net models are also discussed. The paper then introduces a timed Petri net structure which incorporates all the other structures described.

[1]  Guy Juanole,et al.  Functional and Performance Analysis Using Extended Time Petri Nets , 1987, Petri Nets and Performance Models.

[2]  Pierre de Saqui-Sannes,et al.  Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems , 1995, Application and Theory of Petri Nets.

[3]  Reinhard German.  Transient analysis of deterministic and stochastic Petri nets by the method of supplementary variables , 1995 .

[4]  T. Nowicki,et al.  Study of local area networks using Petri nets , 1989 .

[5]  Hoon Choi,et al.  Transient Analysis of Deterministic and Stochastic Petri Nets , 1993, Application and Theory of Petri Nets.

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

[7]  Giovanni Chiola,et al.  Colored GSPN models and automatic symmetry detection , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[8]  Peter G. Taylor,et al.  Embedded Processes in Stochastic Petri Nets , 1991, IEEE Trans. Software Eng..

[9]  Rami R. Razouk,et al.  Performance Analysis Using Timed Petri Nets , 1984, PSTV.

[10]  Enrico Vicario,et al.  Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets , 1995, IEEE Trans. Software Eng..

[11]  Lou J. Somers,et al.  Simulation of Distributed Simulation with Timed Colored Petri Nets , 1995, EUROSIM.

[12]  Patrick Sénac,et al.  Time Stream Petri Nets: A Model for Timed Multimedia Information , 1994, Application and Theory of Petri Nets.

[13]  Carl A. Sunshine,et al.  Protocol Specification, Testing and Verification - Guest Editorial , 1982, Comput. Networks.

[14]  William Henderson,et al.  Finding and Using Exact Equilibrium Distributions for Stochastic Petri Nets , 1993, Comput. Networks ISDN Syst..

[15]  Guy Juanole,et al.  Dealing with arbitrary time distributions with the stochastic timed Petri net model-application to queueing systems , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[16]  John L Berg,et al.  Protocol specification, testing, and verification, IV: edited by Shaula Yemini, Yechiam Yemini, and Robert Strom, 1987; North-Holland, Amsterdam, The Netherlands; 720 pages; hardback; $75.00; Illustrations, references; ISBN 0 444 87676 6. , 1988 .

[17]  Hanifa Boucheneb,et al.  Towards a simplified building of time Petri Nets reachability graph , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[18]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[19]  Patrick Sénac,et al.  Modeling Logical and Temporal Synchronization in Hypermedia Systems , 1996, IEEE J. Sel. Areas Commun..

[20]  Rami R. Razouk,et al.  Interactive State-Space Analysis of Concurrent Systems , 1987, IEEE Transactions on Software Engineering.

[21]  Peter Buchholz.  Aggregation and reduction techniques for hierarchical GCSPNs , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[22]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[23]  David de Frutos-Escrig,et al.  Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems , 1991, PNPM.

[24]  Bernard Berthomieu,et al.  An Enumerative Approach for Analyzing Time Petri Nets , 1983, IFIP Congress.

[25]  Wil M. P. van der Aalst.  Interval Timed Coloured Petri Nets and their Analysis , 1993, Application and Theory of Petri Nets.

[26]  Su Deng,et al.  Time warp simulation of stochastic Petri nets , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[27]  Günter Hommel,et al.  Quality of Communication-Based Systems , 1995 .

[28]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..

[29]  Marco Ajmone Marsan,et al.  On Petri nets with deterministic and exponentially distributed firing times , 1986, European Workshop on Applications and Theory of Petri Nets.

[30]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[31]  David de Frutos-Escrig,et al.  Timed Processes of Timed Petri Nets , 1995, Application and Theory of Petri Nets.

[32]  Marco Ajmone Marsan,et al.  On Petri Nets with Stochastic Timing , 1985, PNPM.

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

[34]  Miguel Menasche,et al.  PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets , 1985, Petri Nets and Performance Models.

[35]  Kendra E. Moore,et al.  ALPHA/Sim simulation software tutorial , 1995, WSC '95.

[36]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[37]  Boudewijn R. Haverkort.  Approximate performability analysis using generalized stochastic Petri nets , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[38]  Kishor S. Trivedi,et al.  Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets , 1995 .

[39]  Bernard Berthomieu,et al.  Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols , 1983, Protocol Specification, Testing, and Verification.

[40]  Gianfranco Balbo.  International workshop on timed Petri nets , 1986 .

[41]  Gianfranco Ciardo,et al.  Analysis of deterministic and stochastic Petri nets , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[42]  Geert Jan Olsder,et al.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[43]  Kishor S. Trivedi,et al.  Extended Stochastic Petri Nets: Applications and Analysis , 1984, Performance.

[44]  C. Petri.  Kommunikation mit Automaten , 1962 .

[45]  Wlodzimierz M. Zuberek,et al.  M–TIMED PETRI NETS, PRIORITIES, PREEMPTIONS, AND PERFORMANCE EVALUATION OF SYSTEMS , 2007 .

[46]  Dan C. Marinescu,et al.  On Stochastic High-Level Petri Nets , 1987, PNPM.

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

[48]  Joseph Sifakis.  Performance Evaluation of Systems Using Nets , 1979, Advanced Course: Net Theory and Applications.

[49]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities , 1987, PNPM.

[50]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[51]  Tharam S. Dillon,et al.  Timed Places Petri Nets with Stochastic Representation of Place Time , 1985, PNPM.

[52]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

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