Pages that link to "Item:Q3075507"
From MaRDI portal
The following pages link to Verification of Timed-Arc Petri Nets (Q3075507):
Displaying 16 items.
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- Waiting nets (Q2165233) (← links)
- Combining free choice and time in Petri nets (Q2291812) (← links)
- Strong behavioral similarities in timed-arc Petri nets (Q2335136) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- (Q2766563) (← links)
- Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture (Q2822649) (← links)
- Decidable Classes of Unbounded Petri Nets with Time and Urgency (Q2822660) (← links)
- Petri nets with causal time for system verification (Q2842866) (← links)
- Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets (Q2945579) (← links)
- (Q2979817) (← links)
- Scenario-Based Timing Consistency Checking for Time Petri Nets (Q3613085) (← links)
- Arc-typed Petri Nets (Q4633168) (← links)
- Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets (Q5500572) (← links)
- WQO dichotomy for 3-graphs (Q5919047) (← links)
- A method for parametric verification of the behavior of time Petri nets (Q5930822) (← links)