@misc{indiciae14c0d15dbc4c,
  title = {Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence},
  author = {Yajuan Sun and Hai Lin and Ben. M. Chen},
  year = {2011},
  url = {https://arxiv.org/abs/1112.3555},
  note = {Source identifier: 1112.3555}
}