State Estimation of Petri Nets by Transformation

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.