Stefan Haar, Eric Fabre. Diagnosis with Petri Net Unfoldings. In Carla Seatzu, Manuel Silva 0001, Jan H. van Schuppen, editors, Control of Discrete-Event Systems. Volume 433 of Lecture Notes in Control and Information Sciences, pages 301-317, Springer, 2013. [doi]
Abstract is missing.