@inproceedings{iiasa4825,
       booktitle = {Preprints 13th IFAC Congress},
           title = {Automatic generation of fault detection models for programmable controller based manufacturing systems using complementary-places Petri nets},
            year = {1996},
           pages = {301--306},
             url = {https://pure.iiasa.ac.at/id/eprint/4825/},
          author = {Hatono, I. and Baba, K. and Umano, M. and Tamura, H.}
}