Pages that link to "Item:Q2248088"
From MaRDI portal
The following pages link to Symbolic unfolding of parametric stopwatch Petri nets (Q2248088):
Displaying 4 items.
- Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation (Q1026394) (← links)
- Symbolic Unfoldings for Networks of Timed Automata (Q3522917) (← links)
- Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets (Q3618702) (← links)
- Time distance-based computation of the \textit{DBM} over-approximation of preemptive real-time systems (Q6151616) (← links)