Petri net languages and infinite subsets of Nm
Journal of Computer and System Sciences
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Real time identification of discrete event systems using Petri nets
Automatica (Journal of IFAC)
Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets
Discrete Event Dynamic Systems
Distributed state estimation in discrete event systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Observer design for untimed continuous Petri nets
ACC'09 Proceedings of the 2009 conference on American Control Conference
State estimation and fault detection using petri nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
In this paper we deal with the problem of estimating the marking of a labeled Petri net with nondeterministic transitions. In particular, we consider the case in which nondeterminism is due to the presence of transitions that share the same label and that can be simultaneously enabled. Under the assumption that: the structure of the net is known, the initial marking is known, the transition labels can be observed, the nondeterministic transitions are contact-free, we present a technique for characterizing the set of markings that are consistent with the actual observation. More precisely, we show that the set of markings consistent with an observed word can be represented by a linear system with a fixed structure that does not depend on the length of the observed word.