[BBa09] Covering Steps Graphs of Time Petri Nets

Conférence Internationale avec comité de lecture : INFINITY'08, 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada, January 2009, pp.155-165, Series ENTCS,

Auteurs: H. Boucheneb , K. Barkaoui

motcle:

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.

BibTeX

@inproceedings {
	BBa09,
	title	=	"{Covering Steps Graphs of Time Petri Nets}",
	author	=	" H. Boucheneb and K. Barkaoui ",
	booktitle	=	"{INFINITY'08, 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada}",
	year	=	2009,
	month	=	"January",
	series	=	"ENTCS",
	issue	=	239,
	pages	=	"155-165",
}