Skip to Main content Skip to Navigation
Journal articles

A Holistic State Equation for Timed Petri Nets

Abstract : 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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01667554
Contributor : Elisabeth Pelz Connect in order to contact the contributor
Submitted on : Tuesday, December 19, 2017 - 2:33:20 PM
Last modification on : Friday, March 4, 2022 - 5:11:18 PM

Links full text

Identifiers

Collections

Citation

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

Share

Metrics

Record views

102