Abstract
This paper describes a method of generating the real-time fault detection model for manufacturing systems controlled by PC (Programmable Controller) automatically using Complementary-places Petri nets. To generate a fault detection model, we use two kinds of information : logging data of limit switches and ladder programs. By using the generated model, we can detect failures in the PC based manufacturing systems. Furthermore, we evaluate the method proposed in this paper by applying it to fault detection of a virtual production system.