Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph

DOI10.1007/978-3-540-85778-5_20zbMath1171.68580OpenAlexW2148410410MaRDI QIDQ3543304

Louis-Marie Traonouez, Didier Lime, Olivier H. Roux

Publication date: 2 December 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85778-5_20

zbMATH Keywords

parameterstime Petri netsmodel-checkingstate-class graphstopwatches

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

Liveness enforcement for production systems modeled by time Petri nets, Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph, Time based deadlock prevention for Petri nets

Uses Software

• HyTech

Cites Work

• Unnamed Item
• Parametric timing analysis for real-time systems
• Reachability problems and abstract state spaces for time Petri nets with stopwatches
• HyTech: A model checker for hybrid systems
• Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
• Model-checking for real-time systems
• Parametric real-time reasoning
• Real-Time Model-Checking: Parameters everywhere
• Applications and Theory of Petri Nets 2004