• Citer

Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters

par Pommereau, Franck;Devillers, Raymond ;Klaudel, Hanna
Référence Electronic Notes in Theoretical Computer Science, 239, C, page (119-129)
Publication Publié, 2009-07

Article révisé par les pairs

• Détails
• Contenu

Titre:	Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters
Auteur:	Pommereau, Franck; Devillers, Raymond; Klaudel, Hanna
Informations sur la publication:	Electronic Notes in Theoretical Computer Science, 239, C, page (119-129)
Statut de publication:	Publié, 2009-07
Sujet CREF:	Informatique générale
	Informatique mathématique
Mots-clés:	Petri nets
	reachability
	traces
	unbounded integers
Note générale:	SCOPUS: ar.j
Langue:	Anglais
Identificateurs:	urn:issn:1571-0661
	info:doi/10.1016/j.entcs.2009.05.034
	info:pii/S157106610900156X
	info:scp/67649445876