http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Supervisory Controller Design to Enforce Reversibility and Liveness in Colored Petri Nets
Aybin Aybar,Mustafa Cimen 대한전기학회 2007 International Journal of Control, Automation, and Vol.5 No.4
Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, written by pseudo-code, are presented for the supervisory controller design. A program is developed to implement these algorithms.