Los usuarios del Repositorio de la UTB estarán autorizados para adaptar, transformar y crear a partir del contenido de esta publicación incluso para fines comerciales, sin embargo toda obra derivada de la publicación original deberá ser distribuida bajo la misma licencia CC-BY-SA. El autor o autores, sin excepción deberán ser claramente identificados como titulares de los derechos de autor de la publicación original.2019-10-182019-10-1820052005(ALEPH)000014908UTB01(janium) 1514715145https://hdl.handle.net/20.500.12585/1695Los sistemas de eventos discretos están compuestos por elementos que manejan entidades discretas, es decir enumerables y diferenciables entre si (piezas, mensajes, archivos, etc.). Su funcionamiento esta caracterizado por una sucesión de estados estables delimitados por eventos que ocurren; generalmente, de manera asíncrona. Como ejemplos de estos sistemas, se observa los sistemas operativos de computadoras y los sistemas de manufactura y sus controladores. Para el análisis de sistemas ya existentes, diferentes pruebas que incluyen la simulación pueden aplicarse al modelo con el fin detectar problemas o bien para obtener información sobre el comportamiento del sistema o de una parte de él. La legibilidad del modelo y las técnicas de análisis dependen de la herramienta o formalismo adoptado, por lo que es importante una adecuada selección de este. Es importante también, tener en cuenta si un formalismo tiene desarrollados métodos que conduzcan a la implementación del sistema. Entre los formalismos que existen actualmente, se destacan las redes de Petri por sus características surgidas de su naturaleza grafica y su soporte matemático simple: con claridad en la descripción y facilidad para representar comportamientos complejos que incluyan secuencias, concurrencia, paralelismo, sincronizaciones e intercambios de información.84 hCd-Romapplication/pdfspahttp://creativecommons.org/licenses/by-nc-nd/4.0/Control automáticoinfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/openAccessAtribución-NoComercial 4.0 InternacionalUniversidad Tecnológica de BolívarRepositorio UTB629.892 M971