Pages that link to "Item:Q884758"
From MaRDI portal
The following pages link to Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758):
Displaying 15 items.
- Shrinking of time Petri nets (Q378906) (← links)
- Growth-type invariants for \(\mathbb Z^{d}\) subshifts of finite type and arithmetical classes of real numbers (Q634646) (← 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)
- Zero entropy systems (Q1958567) (← links)
- Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086) (← links)
- Waiting nets (Q2165233) (← links)
- Symbolic unfolding of parametric stopwatch Petri nets (Q2248088) (← links)
- Topological pressure dimension for almost additive potentials (Q2820304) (← links)
- Spatial determinism for a free<i>Z</i><sup>2</sup>-action (Q2908142) (← links)
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) (Q3510874) (← links)
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph (Q3543304) (← links)
- “Metric” complexity for weakly chaotic systems (Q3624706) (← links)
- Time distance-based computation of the \textit{DBM} over-approximation of preemptive real-time systems (Q6151616) (← links)
- Waiting Nets: State Classes and Taxonomy (Q6189319) (← links)
