Pages that link to "Item:Q1972351"
From MaRDI portal
The following pages link to How to calculate symmetries of Petri nets (Q1972351):
Displaying 10 items.
- Individuals, populations and fluid approximations: a Petri net based perspective (Q313335) (← links)
- Symmetries in timed continuous Petri nets (Q547881) (← links)
- Automata-driven partial order reduction and guided search for LTL model checking (Q2152647) (← links)
- Using approximation for the verification of token-scaling models (Q2163772) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- Computational complexity of the place/transition-net symmetry reduction method (Q2736412) (← links)
- (Q3359783) (← links)
- Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique (Q4497888) (← links)
- A Programming Language for Spatial Distribution of Net Systems (Q5166761) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712333) (← links)