Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)

DOI10.1007/978-3-540-68746-7_21zbMath1143.68493OpenAlexW1488555460MaRDI 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

zbMATH Keywords

discrete-timeTime Petri netsdense-timestopwatchessymbolic state spaceVerification using nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis

Uses Software

• Romeo

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

This page was built for publication: Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)