The following pages link to Maria (Q16312):
Displaying 18 items.
- M-nets: a survey (Q1006339) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- Implementing coloured Petri nets using a functional programming language (Q1768480) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- (Q2842866) (← links)
- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers (Q3550616) (← links)
- Model Checking Safety Properties in Modular High-Level Nets (Q3550617) (← links)
- Modelling Mobile IP with Mobile Petri Nets (Q3651241) (← links)
- (Q4450987) (← links)
- (Q4535183) (← links)
- (Q4547959) (← links)
- (Q4782087) (← links)
- (Q5422288) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712335) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712339) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713503) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713518) (← links)
- Integrated Formal Methods (Q5901613) (← links)
