M-nets
From MaRDI portal
Cited in
(13)- Petri nets with causal time for system verification
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
- Integrated Formal Methods
- scientific article; zbMATH DE number 1500562 (Why is no real title available?)
- scientific article; zbMATH DE number 1755144 (Why is no real title available?)
- Maria
- BPEL2oWFN
- scientific article; zbMATH DE number 1786651 (Why is no real title available?)
- PEP
- Compositional high-level Petri net semantics of a parallel programming language with procedures
- General parameterised refinement and recursion for the M-net calculus
- 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
This page was built for software: M-nets
