A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2 - Concepedia

Concepedia

Publication | Closed Access

A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2

23

Citations

0

References

1995

Year

Eike Best, Hans Fleischhack, Wojciech Frączak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz

Applications and Theory of Petri Nets

Petri NetComputational LogicFormal SpecificationEngineeringAutomated ReasoningStochastic Petri NetFormal MethodsComputer EngineeringComputer ArchitectureComputer ScienceIndustrial InformaticsFormal VerificationProgrammable Data Plane

No additional data available for this publication yet. Check back later!