Monotonic extensions of petri nets: Forward and backward search revisited

Référence Electronic Notes in Theoretical Computer Science, 68, 6, page (89-100)
Publication Publié, 2003-02

Article révisé par les pairs

Titre:	Monotonic extensions of petri nets: Forward and backward search revisited
Auteur:	Finkel, Alain; Raskin, Jean-François; Samuelides, Mathias; Van Begin, Laurent
Informations sur la publication:	Electronic Notes in Theoretical Computer Science, 68, 6, page (89-100)
Statut de publication:	Publié, 2003-02
Sujet CREF:	Informatique mathématique
Mots-clés:	Efficient Data Structure
	Extended Petri Nets
	Safety Property
	Symbolic Verification
Note générale:	SCOPUS: cp.j
Langue:	Anglais
Identificateurs:	urn:issn:1571-0661
	info:doi/10.1016/S1571-0661(04)80535-8
	info:scp/18944368649

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.