Sciweavers

APN
2004
Springer

Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation

13 years 9 months ago
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, we consider stopwatches associated with transitions which can be reset, stopped and started by using classical arcs and branch inhibitor hyperarcs introduced by Janicki and Koutny [1]. We give a formal semantics for IHTPNs in terms of Timed Transition Systems and we position IHTPNs with regard to other classes of Petri nets. We provide a method for computing the state space of IHTPNs. We first propose an exact computation using a general polyhedron representation of time constraints, then we propose an overapproximation of the polyhedra to allow a more efficient compact representations of the state space based on DBM (Difference Bound Matrix). Key words: Time Petri nets, inhibitor hyperarc, state space, semantics, realtime systems
Olivier H. Roux, Didier Lime
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where APN
Authors Olivier H. Roux, Didier Lime
Comments (0)