Diagnosability verification with Petri net unfoldings
Agnes Madalinski, Farid Nouioua, Philippe Dague · International Journal of Knowledge-based and Intelligent Engineering Systems · 2010
Complex systems increasingly require safety and robustness with regards to faults occurrences, and diagnosability is a key property to ensure this at design stage. This paper demonstrates how Petri net unfoldings, which have been proven to elevate th