The following pages link to (Q3045274):
Displayed 4 items.
- Strong behavioral similarities in timed-arc Petri nets (Q2335136) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)