State estimation in labeled time Petri net systems using observed modified state class graph
Liang Li, Mingxi Deng, Bin Liu, Zhiwu Li
Topics & Concepts
UnobservablePetri netComputer scienceState (computer science)GraphState spaceClass (philosophy)AlgorithmStochastic Petri netSequence (biology)Theoretical computer scienceMathematicsArtificial intelligenceGeneticsStatisticsBiologyEconometricsPetri Nets in System ModelingFormal Methods in VerificationReal-Time Systems Scheduling