The following pages link to M-nets (Q21125):
Displaying 10 items.
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages (Q1284690) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)
- (Q2842866) (← links)
- (Q4501583) (← links)
- (Q4535178) (← links)
- (Q4547959) (← links)
- Integrated Formal Methods (Q5901613) (← links)
- Compositional high-level Petri net semantics of a parallel programming language with procedures (Q5954636) (← links)