The following pages link to (Q3146285):
Displayed 5 items.
- Efficient unfolding of contextual Petri nets (Q443729) (← links)
- Timed Petri nets and timed automata: On the discriminating power of Zeno sequences (Q2475807) (← links)
- Efficient Contextual Unfolding (Q3090840) (← links)
- McMillan’s Complete Prefix for Contextual Nets (Q3599219) (← links)
- Construction and SAT-Based Verification of Contextual Unfoldings (Q5200078) (← links)