Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems

DOI10.14232/actacyb.20.3.2012.1zbMath1265.68107OpenAlexW8623215MaRDI QIDQ4898735

Abdelli Abdelkrim

Publication date: 2 January 2013

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.20.3.2012.1

zbMATH Keywords

time Petri netspreemptive systemsstate class graphDBM over-approximationstopwatch inhibitor arcs

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

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

This page was built for publication: Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems