@article{lacerda_ieeetac_tech14,
  title={On the Notion of Uncontrollable Marking in Supervisory Control of {P}etri Nets},
  author={Bruno Lacerda and Pedro U. Lima},
  journal={IEEE Transactions on Automatic Control},
  year={2014},
  pages={},
  doi={10.1109/TAC.2014.2320801}, 

}