swMATH4127MaRDI QIDQ16312FDOQ16312
Author name not available (Why is that?)
Official website: http://www.tcs.hut.fi/Software/maria/
Cited In (26)
- Title not available (Why is that?)
- A UTP approach for rTiMo
- Applications and Theory of Petri Nets 2005
- Modelling mobile IP with mobile Petri nets
- 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?)
- CPN/Tools
- PROD
- LoLA
- PetriNets
- Punf
- M-nets
- PTSC
- PEP
- Applications and Theory of Petri Nets 2005
- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers
- Model checking safety properties in modular high-level nets
- Title not available (Why is that?)
- Petri nets with causal time for system verification
This page was built for software: Maria
