Pages that link to "Item:Q1944773"
From MaRDI portal
The following pages link to The expressive power of time Petri nets (Q1944773):
Displayed 8 items.
- Delay-dependent partial order reduction technique for real time systems (Q1645216) (← links)
- Backward symbolic optimal reachability in weighted timed automata (Q1996010) (← links)
- Timed Petri nets with reset for pipelined synchronous circuit design (Q2117152) (← links)
- Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086) (← links)
- Waiting nets (Q2165233) (← links)
- Decidable Classes of Unbounded Petri Nets with Time and Urgency (Q2822660) (← links)
- Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* (Q4989166) (← links)
- Waiting Nets: State Classes and Taxonomy (Q6189319) (← links)