Pages that link to "Item:Q5476391"
From MaRDI portal
The following pages link to State space computation and analysis of Time Petri Nets (Q5476391):
Displaying 16 items.
- A concurrency-preserving translation from time Petri nets to networks of timed automata (Q453542) (← links)
- Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs (Q539486) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation (Q1026394) (← links)
- Backward symbolic optimal reachability in weighted timed automata (Q1996010) (← links)
- Symbolic unfolding of parametric stopwatch Petri nets (Q2248088) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- (Q3437252) (← 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)
- Time Recursive Petri Nets (Q3599214) (← links)
- (Q4417948) (← links)
- (Q4763576) (← links)
- The On-Line Diagnosis of Time Petri Nets (Q5496935) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712345) (← links)
- A state class based controller synthesis approach for time Petri nets (Q6535204) (← links)