Minimum Initial Marking Estimation in Labeled Petri Nets

DOI10.1109/TAC.2012.2203050MaRDI QIDQ5353088zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Discrete event control/observation systems (93C65)

Cited in

(8)

• Modeling, simulation, estimation and boundedness analysis of discrete event systems
• Resource failure and buffer space allocation control for automated manufacturing systems
• Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
• Probabilistic Marking Estimation in Labeled Petri Nets
• scientific article; zbMATH DE number 5079405 (Why is no real title available?)
• Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions
• State estimation in labeled time Petri net systems using observed modified state class graph
• Marking and firing transition estimation for partially observed Petri nets without observable transitions

This page was built for publication: Minimum Initial Marking Estimation in Labeled Petri Nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5353088)