Este documento se centra en la modelización de sistemas integrados, proponiendo una solución para obtener una red refinada a través de la operación de refinamiento de una red de Petri extendida. La tecnología orientada a objetos y la representación basada en redes de Petri con arcos inhibidores para sistemas integrados (PIRES+) se combinan para obtener un PIRES+ orientado a objetos (OOPIRES+). Se propone un método de refinamiento de puerta de OOPIRES+ y se investiga la preservación de la vivacidad, limitación, alcanzabilidad, funcionalidad y temporización del sistema de red refinado. El análisis de modelado de un sistema de hogar inteligente se toma como ejemplo para verificar la efectividad del método de refinamiento. Los resultados pueden proporcionar una forma efectiva para la investigación de las propiedades refinadas de un sistema de red de Petri y un medio favorable para la modelización de sistemas integrados complejos a gran escala, que tiene amplias perspectivas de aplicación.