Title :
Error detection scheme for Petri net sequence controller [factory automation]
Author :
Dohi, Yasunori ; Sugiyama, Miki ; Murakoshi, Hideki ; Sekiguchi, Takashi ; Cai, Yigang ; Yomiya, Ichirou ; Taufana, Donny
Author_Institution :
Fac. of Eng., Yokohama Nat. Univ., Japan
Abstract :
Factory automation requires that programmable controllers should be very fast and easily designed and that their errors should be analyzed precisely during design and can be detected during operations. As the Petri net has a theoretical foundation, such as reachability tree analysis, it is suitable for the description and analysis of sequential control. This paper proposes an error checking hardware scheme for a Petri net sequence controller. The Petri net is very useful to represent parallel events and this controller has realized very high speed sequential control based on the Petri net graph
Keywords :
Petri nets; error detection; factory automation; programmable controllers; sequential switching; Petri net sequence controller; error checking; factory automation; high speed sequential control; programmable controllers; reachability tree analysis; Application specific integrated circuits; Automatic control; Control systems; Error correction; Fires; Hardware; Manufacturing automation; Programmable control; Programmable logic arrays; Switches;
Conference_Titel :
Industrial Electronics, 1992., Proceedings of the IEEE International Symposium on
Conference_Location :
Xian
Print_ISBN :
0-7803-0042-4
DOI :
10.1109/ISIE.1992.279622
