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

fYear

1992

Firstpage

45

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Electronics, 1992., Proceedings of the IEEE International Symposium on

Conference_Location

Xian

Print_ISBN

0-7803-0042-4

Type

conf

DOI

10.1109/ISIE.1992.279622

Filename

279622