The following pages link to (Q3146285):
Displaying 10 items.
- Efficient unfolding of contextual Petri nets (Q443729) (← links)
- Contextual nets (Q1902298) (← links)
- Timed Petri nets and timed automata: On the discriminating power of Zeno sequences (Q2475807) (← links)
- Towards a Theory of Reach (Q2814384) (← links)
- Non-atomic Transition Firing in Contextual Nets (Q2941146) (← links)
- Universality in Infinite Petri Nets (Q2945886) (← links)
- Efficient Contextual Unfolding (Q3090840) (← links)
- (Q3361901) (← links)
- McMillan’s Complete Prefix for Contextual Nets (Q3599219) (← links)
- Construction and SAT-Based Verification of Contextual Unfoldings (Q5200078) (← links)