Pages that link to "Item:Q5096366"
From MaRDI portal
The following pages link to Symbolic reachability graph and partial symmetries (Q5096366):
Displaying 6 items.
- Canonical representations for direct generation of strategies in high-level Petri games (Q2117156) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- Introducing symmetry to graph rewriting systems with process abstraction (Q2292965) (← links)
- Balancedness and coboundaries in symbolic systems (Q2422021) (← links)
- Approximate Symbolic Reachability of Networks of Transition Systems (Q3564025) (← links)
- Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique (Q4497888) (← links)