Marking estimation of Petri nets based on partial observation | IEEE Conference Publication | IEEE Xplore

Marking estimation of Petri nets based on partial observation


Abstract:

We present a technique for estimating the marking of a Petri net based on the observation of transition labels. In particular, the main contribution of the paper consists...Show More

Abstract:

We present a technique for estimating the marking of a Petri net based on the observation of transition labels. In particular, the main contribution of the paper consists in deriving a methodology that can handle the case of nondeterministic transitions, i.e., transitions that share the same label. Under some technical assumptions, the set of markings consistent with an observation can be represented by a linear system with a fixed structure that does not depend on the length of the observed word. The validity of the proposed methodology is illustrated in detail through a numerical example.
Date of Conference: 04-06 June 2003
Date Added to IEEE Xplore: 27 October 2003
Print ISBN:0-7803-7896-2
Print ISSN: 0743-1619
Conference Location: Denver, CO, USA

References

References is not available for this document.