PetriNets
From MaRDI portal
Software:16556
swMATH4380MaRDI QIDQ16556FDOQ16556
Author name not available (Why is that?)
Cited In (8)
- 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
- M-nets: a survey
- Verification of Timed-Arc Petri Nets
- Title not available (Why is that?)
- FM – a pragmatic tool to model, analyse and predict complex behaviour of industrial systems
- Petri nets for modelling metabolic pathways: a survey
This page was built for software: PetriNets
