TY - RPRT TI - Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence AU - Yajuan Sun AU - Hai Lin AU - Ben. M. Chen PY - 2011 UR - https://arxiv.org/abs/1112.3555 ID - 1112.3555 ER -