Pages that link to "Item:Q5464758"
From MaRDI portal
The following pages link to Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464758):
Displayed 6 items.
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Forward analysis for WSTS, part I: completions (Q3386750) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Universal safety for timed Petri nets is PSPACE-complete (Q5009418) (← links)
- Dynamic Networks of Timed Petri Nets (Q5166770) (← links)