@article{article455f30de, title = {Modeling of distributed control systems in intelligent building based on colored Petri nets}, author = {Igei Kaneshiro, Percy Javier and Cugnasca, Carlos Eduardo and Melo, Jose Isidro Garcia and Miyagi, Paulo Eigi}, year = {2010}, doi = {10.1109/TLA.2010.5623513}, journal = {IEEE Latin America Transactions} }