State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions (Q1773100)

The problem of estimating the markings of a labeled Petri net with nondeterministic transitions is considered. The nondeterminism is due to the presence of transitions that share the same label and that can be simultaneously enabled. It is assumed that i) the structure of the net is known; ii) the initial marking is known; iii) the transition labels can be observed; iv) the nondeterministic transitions are contact-free. Under these assumptions a technique for characterizing the set of markings that are consistent with the actual observation is given. This set of markings can be represented by a linear system with a fixed structure.