The following pages link to (Q4474226):
Displaying 5 items.
- Strong behavioral similarities in timed-arc Petri nets (Q2335136) (← links)
- (Q2766563) (← links)
- On Distributability of Petri Nets (Q2892781) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)