Pages that link to "Item:Q2493434"
From MaRDI portal
The following pages link to Advances in verification of time Petri nets and timed automata. A temporal logic approach. (Q2493434):
Displaying 4 items.
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
