Pages that link to "Item:Q3543285"
From MaRDI portal
The following pages link to Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285):
Displaying 5 items.
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets (Q2945579) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
