Improving the construction of the DBM over approximation of the state spce of real-time preemptive systems
We present in this paper an algorithm allowing an efficient computation of the tightest DBM over-approximation of the state space of preemptive systems modeled by using Time Petri Nets with inhibitor arcs. First of all, we propose an algorithm that reduces the effort of computing the tightest DBM ov...
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2012
|
| Sorozat: | Acta cybernetica
20 No. 3 |
| Kulcsszavak: | Számítástechnika, Kibernetika, Matematika |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.20.3.2012.1 |
| Online Access: | http://acta.bibl.u-szeged.hu/30836 |