Minimum Initial Marking Estimation in Labeled Petri Nets
From MaRDI portal
Publication:5353088
DOI10.1109/TAC.2012.2203050zbMath1369.93378OpenAlexW2074182439MaRDI QIDQ5353088
Lingxi Li, Christoforos N. Hadjicostis
Publication date: 8 September 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2012.2203050
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Modeling, simulation, estimation and boundedness analysis of discrete event systems ⋮ Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures ⋮ Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions ⋮ Resource failure and buffer space allocation control for automated manufacturing systems ⋮ State estimation in labeled time Petri net systems using observed modified state class graph
This page was built for publication: Minimum Initial Marking Estimation in Labeled Petri Nets