The following pages link to (Q3146285):
Displayed 7 items.
- Efficient unfolding of contextual Petri nets (Q443729) (← links)
- Timed Petri nets and timed automata: On the discriminating power of Zeno sequences (Q2475807) (← links)
- Non-atomic Transition Firing in Contextual Nets (Q2941146) (← links)
- Universality in Infinite Petri Nets (Q2945886) (← 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)