Pages that link to "Item:Q2368992"
From MaRDI portal
The following pages link to CTL* model checking for time Petri nets (Q2368992):
Displaying 9 items.
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Partial order reduction for checking soundness of time workflow nets (Q507759) (← links)
- Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs (Q539486) (← links)
- On-the-fly \(TCTL\) model checking for time Petri nets (Q732013) (← links)
- Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758) (← links)
- Delay-dependent partial order reduction technique for real time systems (Q1645216) (← links)
- Model Checking Bounded Prioritized Time Petri Nets (Q3510821) (← links)
- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs (Q3543303) (← links)
- Covering Steps Graphs of Time Petri Nets (Q5179058) (← links)
