The following pages link to PetriNets (Q16556):
Displaying 8 items.
- Petri nets for modelling metabolic pathways: a survey (Q609029) (← links)
- On a possible continuous analogue of the Szpilrajn theorem and its strengthening by Dushnik and Miller (Q878146) (← links)
- M-nets: a survey (Q1006339) (← links)
- A case study for the application of deterministic and stochastic Petri nets in the SoC communication domain (Q2432187) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- FM – a pragmatic tool to model, analyse and predict complex behaviour of industrial systems (Q3055843) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- (Q3080936) (← links)
