swMATH9132MaRDI QIDQ21125FDOQ21125
Author name not available (Why is that?)
Official website: http://link.springer.com/article/10.1007/s002360050144
Cited In (12)
- 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
- BPEL2oWFN
- PEP
- 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
