Ara
Toplam kayıt 1, listelenen: 1-1
Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets
(Taylor & Francis LTD, 2005)
Supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets is considered. The Petri nets considered may have non-unity weight arcs and both controllable and uncontrollable transitions. ...