The following pages link to (Q4417948):
Displaying 23 items.
- Shrinking of time Petri nets (Q378906) (← 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 composition of time Petri nets (Q645045) (← 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)
- 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)
- Logical time control of concurrent DES (Q2058560) (← links)
- Approximated timed reachability graphs for the robust control of discrete event systems (Q2330041) (← links)
- CTL* model checking for time Petri nets (Q2368992) (← links)
- Probabilistic Time Petri Nets (Q2822657) (← links)
- Maximally permissive controller synthesis for time Petri nets (Q2871733) (← links)
- SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper) (Q2941154) (← links)
- Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets (Q2945579) (← links)
- Model Checking Bounded Prioritized Time Petri Nets (Q3510821) (← links)
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) (Q3510874) (← links)
- Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs (Q3543303) (← links)
- Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks (Q4988953) (← links)
- Covering Steps Graphs of Time Petri Nets (Q5179058) (← links)
- Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets (Q5268455) (← links)
- The On-Line Diagnosis of Time Petri Nets (Q5496935) (← links)
- Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net (Q6053940) (← links)
