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 MoreMetadata
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