Resumen:
La tesis está organizada de la siguiente manera: en el Capítulo 2 se resume características principales de los SDED y una descripción completa de los SMF. Como la herramienta que va a ser empleada son las RdP en el Capítulo 3 se presenta la terminología básica de las RdP, propiedades de las RdP y diferentes maneras de simplificar a una RdP. Luego de presentar el funcionamiento y las características de la herramienta a modelar, en el Capítulo 4 se conoce el sistema que va a ser modelado y posteriormente su modelo de especificación (modelo en forma general que describe el funcionamiento del sistema) en RdP. En el Capítulo 5, se detalla los dispositivos que pertenecen al sistema y las variables a medir; se realiza el modelo de sistema con un nuevo tipo de RdP empleadas para el control. Como el SMF procesa varios productos, las redes de Petri coloreadas (Capitulo 6) describen de mejor manera el funcionamiento del sistema aunque la teoría de control para estas redes apenas se está desarrollando. Para finalizar, en el Anexo A se muestra la manera de traducir una RdP controlada a un diagrama en escalera para un PLC; el Anexo B es el manual de usuario del programa SPADES empleado para simular la RdP con y sin controlador, verificar algunas propiedades del modelo en RdP, entre otros.
