Petri net approach for modelling system integration in intelligent buildings - Miyagi, Paulo Eigi; Villani, Emília; Bastidas Gustin, Gladys Deifan; Maruyama, Newton; Santos Filho, Diolino Jose dos (Journal of the Brazilian Society of Mechanical Sciences, 2002)