Time distance-based computation of the \textit{DBM} over-approximation of preemptive real-time systems

DOI10.1016/j.jlamp.2023.100927OpenAlexW4388347661MaRDI QIDQ6151616

Abdelkrim Abdelli

Publication date: 12 February 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2023.100927

zbMATH Keywords

over-approximationdifference bound matrixstate class graphpreemptive real-time systemsstopwatch inhibitor arc time Petri nettime distance system

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Reachability problems and abstract state spaces for time Petri nets with stopwatches
• Symbolic unfolding of parametric stopwatch Petri nets
• Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems
• Applications and Theory of Petri Nets 2004