Enforcing Diagnosability in Interpreted Petri Nets

:The aim of this paper is to present a novel approach to enforce the diagnosability property in Discrete Event Systems modeled by Interpreted Petri Nets (IPN). This approach is based on a Regulation Circuit controller. The objective of this Regulation Circuit is to reduce the relative distance between any two transitions to detect the firing of a specific transition, whose occurrence indicates that a fault occurred.