Pages that link to "Item:Q1944773"
From MaRDI portal
The following pages link to The expressive power of time Petri nets (Q1944773):
Displaying 25 items.
- Comparative trace semantics of time Petri nets (Q300337) (← links)
- On the composition of time Petri nets (Q645045) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- Time-based expressivity of time Petri nets for system specification (Q1285652) (← links)
- A brief survey and synthesis of the roles of time in Petri nets. (Q1597067) (← links)
- On persistency in time Petri nets (Q1631221) (← links)
- Delay-dependent partial order reduction technique for real time systems (Q1645216) (← links)
- Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks (Q1761679) (← 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)
- Combining free choice and time in Petri nets (Q2291812) (← links)
- Timed Petri nets and timed automata: On the discriminating power of Zeno sequences (Q2475807) (← links)
- (Q2729010) (← links)
- Decidable Classes of Unbounded Petri Nets with Time and Urgency (Q2822660) (← links)
- (Q3045259) (← links)
- Expressiveness of Petri Nets with Stopwatches. Dense-time Part (Q3400538) (← links)
- (Q3601860) (← links)
- How Expressive Are Petri Net Schemata? (Q3618706) (← links)
- (Q4535186) (← links)
- Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* (Q4989166) (← links)
- On Multi-enabledness in Time Petri Nets (Q5300869) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897964) (← links)
- Waiting Nets: State Classes and Taxonomy (Q6189319) (← links)
