Pages that link to "Item:Q2280181"
From MaRDI portal
The following pages link to A geometric characterisation of event/state separation (Q2280181):
Displayed 4 items.
- Presynthesis of bounded choice-free or fork-attribution nets (Q2304527) (← links)
- Target-oriented Petri Net Synthesis (Q4988954) (← links)
- Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory (Q5025067) (← links)
- Automated Repair of Process Models Using Non-local Constraints (Q5100758) (← links)