Diagnosability verification with Petri net unfoldings

Agnes Madalinski, Farid Nouioua, Philippe Dague. Diagnosability verification with Petri net unfoldings. KES Journal, 14(2):49-55, 2010. [doi]

Authors

Agnes Madalinski

This author has not been identified. Look up 'Agnes Madalinski' in Google

Farid Nouioua

This author has not been identified. Look up 'Farid Nouioua' in Google

Philippe Dague

This author has not been identified. Look up 'Philippe Dague' in Google