Rechercher

[BB14] On combining the ready sets with the covering steps methods

Revue Internationale avec comité de lecture : Journal International Journal of Critical Computer-Based Systems (IJCCBS), vol. 5(1/2), pp. 55-77, 2014

Mots clés: time Petri nets; TPN; state class graph method; covering steps graph; partial order techniques.

Résumé: We consider here time Petri nets and the covering steps graph technique proposed by Vernadat et al. for untimed Petri nets. In this technique, some transitions are put together to be fired in a single transition step. This paper investigates how this technique can be extended to be applied to time Petri nets. It establishes some sufficient conditions useful to construct covering steps graphs preserving LTL−X. Finally, it investigates how the covering steps graph can be combined together with a partial order technique, in the context of time Petri nets, to attenuate further the state explosion problem, while preserving LTL−X.

Equipe: vespa

BibTeX

@article {
BB14,
title="{On combining the ready sets with the covering steps methods}",
author="H. Boucheneb and K. Barkaoui",
journal="International Journal of Critical Computer-Based Systems (IJCCBS)",
year=2014,
volume=5,
number=1/2,
pages="55-77",
}