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