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