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

• Type: Conference
• Year: 2004
• Where: APN
• Authors: Olivier H. Roux, Didier Lime
• Keywords: APN 2004, Artificial Intelligence, Inhibitor Hyperarc, Petri Nets, Time Petri Nets