Pages that link to "Item:Q5712345"
From MaRDI portal
The following pages link to Applications and Theory of Petri Nets 2004 (Q5712345):
Displayed 10 items.
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758) (← links)
- Relational structures model of concurrency (Q934912) (← links)
- Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation (Q1026394) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems (Q2403815) (← 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)
- Time distance-based computation of the \textit{DBM} over-approximation of preemptive real-time systems (Q6151616) (← links)