Diagnosability verification with Petri net unfoldings

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:04
TitleDiagnosability verification with Petri net unfoldings
Publication TypeJournal Article
Year of Publication2009
AuthorsMadalinski, A, Nouioua, F, Dague, P
JournalRapport de recherche LRI
Volume1516
Date Publishedmarch