Maria
From MaRDI portal
Cited in
(26)- scientific article; zbMATH DE number 1836402 (Why is no real title available?)
- A UTP approach for rTiMo
- Applications and Theory of Petri Nets 2005
- Modelling mobile IP with mobile Petri nets
- Integrated Formal Methods
- M-nets: a survey
- scientific article; zbMATH DE number 2043473 (Why is no real title available?)
- Applications and Theory of Petri Nets 2004
- Implementing coloured Petri nets using a functional programming language
- A process calculus BigrTiMo of mobile systems and its formal semantics
- scientific article; zbMATH DE number 1755148 (Why is no real title available?)
- Applications and Theory of Petri Nets 2004
- CPN/Tools
- PROD
- LoLA
- PetriNets
- Punf
- M-nets
- PTSC
- PEP
- scientific article; zbMATH DE number 5201493 (Why is no real title available?)
- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers
- Applications and Theory of Petri Nets 2005
- Model checking safety properties in modular high-level nets
- scientific article; zbMATH DE number 1786651 (Why is no real title available?)
- Petri nets with causal time for system verification
This page was built for software: Maria
