El documento propone una novedosa técnica de diseño de sistemas ciberfísicos (CPSs). El sistema está especificado por una red de Petri, y posteriormente modelado en un lenguaje de descripción de hardware (HDL) hacia la implementación final en un dispositivo programable. Contrario a los métodos tradicionales de diseño, la solución propuesta se enfoca altamente en los aspectos de verificación. El sistema es verificado tres veces antes de la implementación final en hardware. Inicialmente, la especificación basada en la red de Petri es verificada formalmente mediante la aplicación de la técnica de verificación de modelos. En segundo lugar, se realiza la verificación de software del sistema modelado. Finalmente, se ejecuta la verificación de hardware del sistema ya implementado. El método propuesto se explica mediante un ejemplo de un convertidor de matriz directa (MC) con conmutación de transistores y modulación vectorial espacial (SVM). Se discuten y analizan los principales beneficios, así como las limitaciones, de la solución propuesta.