Diagnosability verification with Petri net unfoldings

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01276950
Contributor : Philippe Dague <>
Submitted on : Sunday, February 21, 2016 - 5:35:00 PM
Last modification on : Wednesday, September 12, 2018 - 1:26:34 AM

Identifiers

  • HAL Id : hal-01276950, version 1

Collections

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

81