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 10 items.
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- 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)
- Expressiveness of Petri Nets with Stopwatches. Dense-time Part (Q3400538) (← links)
- Comparing Semantics Under Strong Timing of Petri Nets (Q3455089) (← links)
- (Q3601860) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897964) (← links)