Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
From MaRDI portal
Publication:3510874
DOI10.1007/978-3-540-68746-7_21zbMath1143.68493MaRDI QIDQ3510874
Olivier H. Roux, Morgan Magnin, Didier Lime
Publication date: 3 July 2008
Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-68746-7_21
discrete-time; Time Petri nets; dense-time; stopwatches; symbolic state space; Verification using nets
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reachability problems and abstract state spaces for time Petri nets with stopwatches
- TCTL Model Checking of Time Petri Nets
- What good are digital clocks?
- State space computation and analysis of Time Petri Nets
- Applications and Theory of Petri Nets 2004
- Computer Aided Verification