Pages that link to "Item:Q5897964"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5897964):
Displaying 21 items.
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- 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)
- The expressive power of time Petri nets (Q1944773) (← 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)
- Timed Petri nets and timed automata: On the discriminating power of Zeno sequences (Q2475807) (← links)
- `True concurrency' semantics for time Petri nets with weak time and persistent atomic policies (Q2664520) (← links)
- Structural translation from time Petri nets to timed automata (Q2848419) (← links)
- Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets (Q2945579) (← links)
- Expressiveness of Petri Nets with Stopwatches. Dense-time Part (Q3400538) (← links)
- Comparing Semantics Under Strong Timing of Petri Nets (Q3455089) (← links)
- Model Checking Bounded Prioritized Time Petri Nets (Q3510821) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- (Q3601860) (← links)
- Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* (Q4989166) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713513) (← links)
- Waiting Nets: State Classes and Taxonomy (Q6189319) (← links)