A Trace Semantics for Petri Nets - Concepedia

Concepedia

Publication | Closed Access

A Trace Semantics for Petri Nets

72

Citations

13

References

1995

Year

Peter W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan

Information and Computation

Petri NetFormal SpecificationEngineeringAutomated ReasoningProgram AnalysisStochastic Petri NetFormal MethodsComputer ScienceTrace SemanticsSemantic WebSoftware AnalysisSystem SoftwareFormal Verification

References

	Year	Citations

Page 1