Pages that link to "Item:Q3550614"
From MaRDI portal
The following pages link to Automatic Symmetry Detection in Well-Formed Nets (Q3550614):
Displayed 5 items.
- Solving high-level Petri games (Q2182671) (← links)
- Improvements in unfolding of colored Petri nets (Q2695488) (← links)
- Optimized Colored Nets Unfolding (Q3613080) (← links)
- Towards Efficient Verification of Systems with Dynamic Process Creation (Q5505602) (← links)
- Methods for Efficient Unfolding of Colored Petri Nets (Q6070614) (← links)