Publication | Closed Access
A Trace Semantics for Petri Nets
72
Citations
13
References
1995
Year
Petri NetFormal SpecificationEngineeringAutomated ReasoningProgram AnalysisStochastic Petri NetFormal MethodsComputer ScienceTrace SemanticsSemantic WebSoftware AnalysisSystem SoftwareFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1