论文信息 - Time semantics in Time Basic nets

Time semantics in Time Basic nets

Petri nets are a well known formalism for modeling and verification of different kinds of systems. Today's time-critical systems require wide and precise modeling capabilities. For this reason different extension of Petri nets have been proposed, such as Time and Timed Petri nets, Stochastic Petri nets or Time Basic nets. In this paper we will focus our attention to Time Basic Nets, because they have a bigger modeling power then Time Petri nets and can be verified more easily then Stochastic Petri nets.

A.N. Kovacs | S. Hudak

[1] Thomas A. Henzinger,et al. Timed Transition Systems , 1991, REX Workshop.

[2] Carlo Ghezzi,et al. Validating timing requirements for time basic net specifications , 1994, J. Syst. Softw..

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

[4] Ernst W. Mayr. An Algorithm for the General Petri Net Reachability Problem , 1984, SIAM J. Comput..

[5] Didier Lime,et al. Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches , 2007, Discret. Event Dyn. Syst..

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

[7] Carlo Ghezzi,et al. A Unified High-Level Petri Net Formalism for Time-Critical Systems , 1991, IEEE Trans. Software Eng..

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

[9] Gang Xu,et al. Reachability Analysis of Real-Time Systems Using Time Petri Nets , 2000 .

[10] S. Rao Kosaraju,et al. Decidability of reachability in vector addition systems (Preliminary Version) , 1982, STOC '82.