El modelado de sistemas supervisores para ambientes automatizados puede ser visto como una tarea que involucra tecnicas y metodos de dos areas principales: ingenieria de control e ingenieria de software. En este contexto, el proposito de este trabajo es introducir un nuevo abordaje para el modelado de sistemas supervisores distribuidos y abiertos, basado en la union de tecnicas tradicionales de ingenieria de software (como la orientacion a objetos) y con modelos formales de los sistemas dinamicos a eventos discretos (como las redes de Petri). En el primer nivel de abstraccion, es usado el modelo de referencia de procesamiento distribuido y abierto (RM-ODP) como marco atquitectural estandar pata la construccion de un sistema distribuido y abierto. Basado en el modelo de referencia ODP, los diagramas en el lenguaje de modelado unificado UML son construidos como un segundo nivel de abstraccion. Finalmente, las redes de Petri (el tercer nivel de abstraccion) son usadas a traves del proceso con la finalidad de garantizar la coherencia entre los modelos en UML desde el analisis de requerimientos hasta la implementacion de manera a proveer modelos formales del sistema.