RT Conference Proceedings SR 00 A1 Hatono, I. A1 Baba, K. A1 Umano, M. A1 Tamura, H. T1 Automatic generation of fault detection models for programmable controller based manufacturing systems using complementary-places Petri nets YR 1996 FD 1-5 July 1996 SP 301 OP 306 T2 Preprints 13th IFAC Congress AV Published LK https://pure.iiasa.ac.at/id/eprint/4825/