화학공학소재연구정보센터
검색결과 : 4건
No. Article
1 Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets
Aybar A, Iftar A, Apaydin-Ozkan H
International Journal of Control, 78(8), 537, 2005
2 Decentralized supervisory controller design to avoid deadlock in Petri nets
Aybar A, Iftar A
International Journal of Control, 76(13), 1285, 2003
3 Decentralized supervisory controller design to avoid deadlock in Petri nets (vol 76, pg 1285, 2003)
Aybar A, Iftar A
International Journal of Control, 76(15), 1584, 2003
4 Overlapping decompositions and expansions of Petri nets
Aybar A, Iftar A
IEEE Transactions on Automatic Control, 47(3), 511, 2002