Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
Francesco Basile, G. De Tommasi, Carlo Motta
Topics & Concepts
Petri netOpacityBounded functionRepresentation (politics)State (computer science)Property (philosophy)Computer scienceInteger (computer science)MathematicsAlgebraic numberOptimization problemInteger programmingMathematical optimizationAlgorithmTheoretical computer scienceProgramming languagePoliticsLawMathematical analysisPhysicsPhilosophyPolitical scienceOpticsEpistemologyPetri Nets in System ModelingFormal Methods in VerificationDistributed systems and fault tolerance