Expressiveness of Petri Nets with Stopwatches. Dense-time Part
From MaRDI portal
Publication:3400538
Recommendations
- Expressiveness of Petri nets with stopwatches. Discrete-time part
- The expressive power of time Petri nets
- Expressiveness of dynamic networks of timed Petri nets
- Time-based expressivity of time Petri nets for system specification
- Reachability problems and abstract state spaces for time Petri nets with stopwatches
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- Parametric model-checking of stopwatch Petri nets
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
- Formal Modeling and Analysis of Timed Systems
- scientific article; zbMATH DE number 4074793
Cited in
(5)- Reachability problems and abstract state spaces for time Petri nets with stopwatches
- Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
- Expressiveness of Petri nets with stopwatches. Discrete-time part
- Waiting nets
This page was built for publication: Expressiveness of Petri Nets with Stopwatches. Dense-time Part
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400538)