Hatono, I., Baba, K., Umano, M., & Tamura, H. <https://pure.iiasa.ac.at/view/iiasa/1607.html>  (1996).  Automatic generation of fault detection models for programmable controller based manufacturing systems using complementary-places Petri nets.   In: Preprints 13th IFAC Congress, 1-5 July 1996.