swMATH4380MaRDI QIDQ16556FDOQ16556
Author name not available (Why is that?)
Official website: http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/quick.html
Cited In (15)
- 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
- Title not available (Why is that?)
- TAPAAL
- SHARPE
- Punf
- DSPNexpress
- TRANSPATH
- CMC
- PEP
- Petri nets for modelling metabolic pathways: a survey
This page was built for software: PetriNets
