A procedure for modelling the control system in intelligent buildings based on colored Petri nets (Proposta de um procedimento para a modelagem de sistemas de controle de edifícios inteligentes utilizando a rede de Petri colorida). - Percy Javier Igei Kaneshiro (2011)