Covering Steps Graphs of Time Petri Nets - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

Covering Steps Graphs of Time Petri Nets

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. Keywords: time Petri nets, state class graph method, covering steps graph For further information, please visit this web site.
Fichier non déposé

Dates et versions

hal-01125690 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125690 , version 1

Citer

Hanifa Boucheneb, Kamel Barkaoui. Covering Steps Graphs of Time Petri Nets. INFINITY'08, 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada, Jan 2009, X, France. pp.155-165. ⟨hal-01125690⟩

Collections

CNAM CEDRIC-CNAM
43 Consultations
0 Téléchargements

Partager

More