Opacity of networked discrete event systems
Jingkai Yang, Weilin Deng, Daowen Qiu, Cheng Jiang
Topics & Concepts
OpacityPetri netAutomatonComputer scienceProperty (philosophy)Event (particle physics)State (computer science)Theoretical computer scienceDistributed computingAlgorithmPhysicsOpticsEpistemologyPhilosophyQuantum mechanicsPetri Nets in System ModelingFormal Methods in VerificationDistributed systems and fault tolerance