State Estimation of Petri Nets by Transformation
Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva · 2007
In this paper we propose four transformation rules to estimate the marking of a net, discrete or continuous, satisfying the following assumptions: the set of transitions is partitioned into observable and unobservable transitions; the net structure and the initial marking is known. For each rule we derive a set of linear algebraic constraints that characterize the set of markings of the original net that are consistent with the observed firing sequence.