M-nets
From MaRDI portal
Software:21125
No author found.
Related Items (10)
General parameterised refinement and recursion for the M-net calculus ⋮ Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets ⋮ Timed mobility in process algebra and Petri nets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Compositional high-level Petri net semantics of a parallel programming language with procedures ⋮ M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages ⋮ Integrated Formal Methods
This page was built for software: M-nets
