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 (6)

Liveness enforcement for production systems modeled by time Petri nets ⋮ Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph ⋮ Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving ⋮ Mean-payoff optimization in continuous-time Markov chains with parametric alarms ⋮ A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets ⋮ 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

This page was built for publication: Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph