Publication | Open Access
Executability of scenarios in Petri nets
10
Citations
22
References
2008
Year
Petri NetEngineeringAutomated ReasoningStochastic Petri NetFormal MethodsSystems EngineeringComputer SciencePetri NetsIndustrial InformaticsFormal VerificationSoftware DesignSystem Specification
| Year | Citations | |
|---|---|---|
Page 1
Page 1