Pages that link to "Item:Q5712359"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2004 (Q5712359):
Displaying 12 items.
- Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL} (Q440685) (← 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)
- Model checking of time Petri nets using the state class timed automaton (Q859736) (← links)
- A counter abstraction technique for verifying properties of probabilistic swarm systems (Q2124442) (← links)
- CTL* model checking for time Petri nets (Q2368992) (← links)
- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs (Q3543303) (← links)
- Scenario-Based Timing Consistency Checking for Time Petri Nets (Q3613085) (← links)
- Refinement and Consistency of Timed Modal Specifications (Q3618577) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- Covering Steps Graphs of Time Petri Nets (Q5179058) (← links)
- Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets (Q5500572) (← links)
