Decentralized state estimation and diagnosis of p-time labeled Petri nets systems
Patrice Bonhomme
Topics & Concepts
UnobservablePetri netSet (abstract data type)State (computer science)Context (archaeology)ObservableComputer scienceObservabilityEvent (particle physics)Stochastic Petri netAlgorithmMathematicsApplied mathematicsPhysicsEconometricsProgramming languageBiologyQuantum mechanicsPaleontologyPetri Nets in System ModelingFormal Methods in VerificationBusiness Process Modeling and Analysis