A Holistic State Equation for Timed Petri Nets

Elisabeth Pelz (1) , Louchka Popova-Zeugmann , Mathias Werner , M Haustein

1 LACL - Laboratoire d'Algorithmique Complexité et Logique

In this paper we investigate Timed Petri nets (TPN) with fixed, possibly zero, durations and maximal step semantics. We define a new state representation where a state is a pair of a marking for the places and a marking for the transitions (a matrix of clocks). For this representation of states we provide an algebraic state equation. Such a state equation lets us prove a sufficient condition for the non-reachability of a state in a TPN. This application of the state equation is subsequently illustrated by an example.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]; Logique en informatique [cs.LO]; Théorie et langage formel [cs.FL]

Elisabeth Pelz, Louchka Popova-Zeugmann, Mathias Werner, M Haustein. A Holistic State Equation for Timed Petri Nets. Fundamenta Informaticae, 2014, 133 (2-3), pp.305-322. ⟨10.3233/FI-2014-1078⟩. ⟨hal-01667554⟩