Pages that link to "Item:Q3656779"
From MaRDI portal
The following pages link to TCTL Model Checking of Time Petri Nets (Q3656779):
Displaying 22 items.
- Shrinking of time Petri nets (Q378906) (← links)
- 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)
- Delay-dependent partial order reduction technique for real time systems (Q1645216) (← links)
- Time based deadlock prevention for Petri nets (Q2071966) (← links)
- Timed Petri nets with reset for pipelined synchronous circuit design (Q2117152) (← links)
- CTL* model checking for time Petri nets (Q2368992) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Maximally permissive controller synthesis for time Petri nets (Q2871733) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) (Q3510874) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← 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)
- Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets (Q5268455) (← links)
- Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets (Q5500572) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712359) (← links)
- Computer Aided Verification (Q5716584) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717497) (← links)
- Design and verification of pipelined circuits with timed Petri nets (Q6160969) (← links)
