@article{menezes_barroso_prata_2012,  title={Restrições de controle sobre cores decompostas: uma proposta no controle supervisório de sistemas a eventos discretos utilizando redes de Petri coloridas},  volume={23},  ISSN={0103-1759},  url={https://doi.org/10.1590/S0103-17592012000300009},  DOI={10.1590/S0103-17592012000300009},  number={3},  journal={Sba: Controle & Automação Sociedade Brasileira de Automatica},  publisher={Sociedade Brasileira de Automática},  author={Menezes, F. A. de Alencar and Barroso, Giovanni C. and Prata, Bruno de A.},  year={2012},  month={May},  pages={356–373} }