Pages that link to "Item:Q5897964"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5897964):
Displaying 13 items.
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Finite-state automata in information technologies (Q464949) (← links)
- On the composition of time Petri nets (Q645045) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- Model-checking precision agriculture logistics: the case of the differential harvest (Q2220343) (← 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)
- `True concurrency' semantics for time Petri nets with weak time and persistent atomic policies (Q2664520) (← links)
- Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets (Q2945579) (← links)
- Model Checking Bounded Prioritized Time Petri Nets (Q3510821) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* (Q4989166) (← links)
- Waiting Nets: State Classes and Taxonomy (Q6189319) (← links)
