Los sistemas embebidos se utilizan ampliamente en diversos dispositivos. PRES+ (Representación basada en redes de Petri para sistemas embebidos) se ha utilizado para modelar y analizar sistemas embebidos. Sin embargo, no puede caracterizar la prioridad de eventos, ni expresar completamente el flujo de datos y el flujo de control. Para resolver este problema, se añaden arcos inhibidores a PRES+ y se obtiene PIRES+ (PRES+ con arcos inhibidores). Sin embargo, el problema de explosión del espacio de estados de PIRES+ es una desventaja al modelar, verificar y controlar sistemas embebidos complejos y grandes. Para mitigar el problema de explosión del espacio de estados de PIRES+ y analizar sistemas embebidos complejos, proponemos el enfoque de refinamiento de lugares y el enfoque de refinamiento de conjuntos de lugares para PIRES+. Bajo condiciones específicas, varias propiedades importantes de PIRES+, como el tiempo, la funcionalidad, la alcanzabilidad, la vivacidad y la acotación, se preservan mediante el uso de estos enfoques de refinamiento. Con el fin de ilustrar la eficacia de estos métodos de refinamiento, se propone, como ejemplo, el modelado y análisis de un sistema de comunicación en red. Los métodos de refinamiento propuestos tienen cierta viabilidad y practicidad, y proporcionan una base teórica más práctica para el modelado de algunos sistemas embebidos.