The following pages link to (Q3359783):
Displaying 14 items.
- Individuals, populations and fluid approximations: a Petri net based perspective (Q313335) (← links)
- A symbolic reachability graph for coloured Petri nets (Q1392273) (← links)
- Star-topology decoupled state space search (Q1749386) (← links)
- How to calculate symmetries of Petri nets (Q1972351) (← links)
- Canonical representations for direct generation of strategies in high-level Petri games (Q2117156) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- Computational complexity of the place/transition-net symmetry reduction method (Q2736412) (← links)
- (Q2987116) (← links)
- Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique (Q4497888) (← links)
- Parameterized reachability trees for algebraic Petri nets (Q5096373) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712333) (← links)
- Computational Complexity of Computing Symmetries in Finite-Domain Planning (Q5856495) (← links)
- Star-Topology Decoupling in SPIN (Q5883577) (← links)
- Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)