Maria
From MaRDI portal
Software:16312
swMATH4127MaRDI QIDQ16312FDOQ16312
Author name not available (Why is that?)
Cited In (18)
- Model Checking Safety Properties in Modular High-Level Nets
- Title not available (Why is that?)
- A UTP approach for rTiMo
- Applications and Theory of Petri Nets 2005
- Integrated Formal Methods
- Applications and Theory of Petri Nets 2004
- Title not available (Why is that?)
- M-nets: a survey
- A process calculus BigrTiMo of mobile systems and its formal semantics
- Implementing coloured Petri nets using a functional programming language
- Title not available (Why is that?)
- Applications and Theory of Petri Nets 2004
- Title not available (Why is that?)
- Applications and Theory of Petri Nets 2005
- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers
- Modelling Mobile IP with Mobile Petri Nets
- Title not available (Why is that?)
- Petri nets with causal time for system verification
This page was built for software: Maria
