Publication | Open Access
Decidability of opacity verification problems in labeled Petri net systems
66
Citations
22
References
2017
Year
Petri NetOpacity Verification ProblemsEngineeringReachability ProblemVerificationStochastic Petri NetFormal MethodsComputer-aided VerificationSystems EngineeringComputer ScienceModel VerificationFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1