Browsing by Subject "Sub-nets"
Now showing items 1-2 of 2
-
Article
Bounds on the number of markings consistent with label observations in petri nets
(2009)In this paper, we consider state estimation in discrete-event systems (DESs) modeled by labeled Petri nets and present upper bounds on the number of system states (or markings) that are consistent with an observed sequence ...
-
Conference Object
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications
(2008)In this paper, we consider the forbidden state problem in discrete event systems modeled by Petri nets with uncontrollable and/or unobservable transitions. To handle the interleaving of uncontrollable and unobservable ...