PetriNets
From MaRDI portal
Software:16556
No author found.
Related Items (8)
On a possible continuous analogue of the Szpilrajn theorem and its strengthening by Dushnik and Miller ⋮ Petri nets for modelling metabolic pathways: a survey ⋮ A case study for the application of deterministic and stochastic Petri nets in the SoC communication domain ⋮ Unnamed Item ⋮ 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
This page was built for software: PetriNets
