Current-state opacity modelling and verification in partially observed Petri nets
Ikram Saadaoui, Zhiwu Li, Naiqi Wu
Topics & Concepts
Petri netReachabilityOpacityComputer scienceState (computer science)Context (archaeology)ObservableExploitTheoretical computer scienceCurrent (fluid)Set (abstract data type)Event (particle physics)AlgorithmProgramming languageEngineeringPhysicsComputer securityOpticsQuantum mechanicsPaleontologyBiologyElectrical engineeringPetri Nets in System ModelingDistributed systems and fault toleranceFormal Methods in Verification