Pages that link to "Item:Q4497888"
From MaRDI portal
The following pages link to Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique (Q4497888):
Displaying 7 items.
- A symbolic reachability graph for coloured Petri nets (Q1392273) (← links)
- A method to abstract a stochastic Petri net. (Q1597089) (← links)
- How to calculate symmetries of Petri nets (Q1972351) (← links)
- Computational complexity of the place/transition-net symmetry reduction method (Q2736412) (← links)
- Symmetric stochastic Petri nets (Q3776639) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712333) (← links)
- Manual and Automatic Exploitation of Symmetries in SPN Models (Q6487386) (← links)