Skip to Main content Skip to Navigation
Journal articles

Diagnosability verification with Petri net unfoldings

Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01276950
Contributor : Philippe Dague Connect in order to contact the contributor
Submitted on : Sunday, February 21, 2016 - 5:35:00 PM
Last modification on : Tuesday, October 19, 2021 - 10:59:51 PM

Identifiers

  • HAL Id : hal-01276950, version 1

Citation

Agnes Madalinski, Farid Nouioua. Diagnosability verification with Petri net unfoldings. International Journal of Knowledge-Based and Intelligent Engineering Systems, IOS Press, 2010, 14 (2), pp.49-55. ⟨hal-01276950⟩

Share

Metrics

Record views

285