Browsing by Subject "Initial marking"
Now showing items 17 of 7

Article
Marking observer in labeled petri nets with application to supervisory control
(2017)In this paper, we consider the problem of marking estimation in labeled Petri nets whose initial marking is known to belong to a given convex set, in the presence of silent transitions (i.e., transitions labeled with the ...

Conference Object
Marking observer of labeled petri nets with uncertainty in the initial marking
(2013)In this paper we consider marking estimation in labeled Petri nets whose initial marking is known to belong to a given convex set. We allow for silent transitions (i.e., transitions labeled with the empty word) and ...

Article
Minimum initial marking estimation in labeled petri nets
(2013)This technical note develops algorithms for estimating the minimum initial marking(s) following the observation of a sequence of labels produced by underlying transition activity in a known labeled Petri net (PN). Since ...

Conference Object
Minimum initial marking estimation in labeled petri nets
(2009)This paper develops an algorithm for estimating the minimum initial marking based on the observation of a sequence of labels that is produced by underlying transition activity in a given labeled Petri net. We assume that ...

Article
Probabilistic marking estimation in labeled petri nets
(2015)Given a labeled Petri net, possibly with silent (unobservable) transitions, we are interested in performing marking estimation in a probabilistic setting. We assume a known initial marking or a known finite set of initial ...

Conference Object
Reachability analysis for a class of petri nets
(2009)In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly) monotone Petri net, an initial marking ...

Conference Object
State feedback control of labeled Petri nets with uncertainty in the initial marking
(Institute of Electrical and Electronics Engineers Inc., 2014)In this paper we consider the problem of designing a state feedback controller for a labeled Petri net whose initial marking is known to belong to a given convex set. We allow for silent transitions (i.e., transitions ...