M-nets
From MaRDI portal
Software:21125
swMATH9132MaRDI QIDQ21125FDOQ21125
Author name not available (Why is that?)
Cited In (10)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
- Integrated Formal Methods
- 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
- Timed mobility in process algebra and Petri nets
- Title not available (Why is that?)
- Petri nets with causal time for system verification
- General parameterised refinement and recursion for the M-net calculus
This page was built for software: M-nets
