PetriNets
From MaRDI portal
Cited in
(18)- A case study for the application of deterministic and stochastic Petri nets in the SoC communication domain
- On a possible continuous analogue of the Szpilrajn theorem and its strengthening by Dushnik and Miller
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
- FM - a pragmatic tool to model, analyse and predict complex behaviour of industrial systems
- M-nets: a survey
- Verification of Timed-Arc Petri Nets
- Romeo
- TAPAAL
- SHARPE
- IF-2.0
- Maria
- Punf
- DSPNexpress
- TRANSPATH
- CMC
- PEP
- scientific article; zbMATH DE number 5864941 (Why is no real title available?)
- Petri nets for modelling metabolic pathways: a survey
This page was built for software: PetriNets
