Resumen:
El modelado de software es un factor clave para el proceso de desarrollo de aplicaciones informáticas, concebido como el plano arquitectónico de un sistema, lo cual sirve de aporte para su construcción y documentación en la actualidad, debido al vértice tecnológico, nacen los sistemas de eventos discretos concurrentes, cuyo análisis y modelamiento debe ser realizado por medio de una herramienta con fundamentos matemáticos, una de estas herramientas de modelado es Redes de Petri (RdP) que tienen como funcionalidad el modelado de sistemas, es decir el análisis previo a la realización del mismo para el desarrollo de la presente investigación se aplicó la metodología documental-descriptiva, la cual permitirá analizar la manera en que las Redes de Petri contribuyen al proceso de modelado de un sistema de manera particular se analizará el caso de un sistema de recaudación de impuestos; estos sistemas son encargados del registro de cobros de impuestos del Estado a sus contribuyentes; la problemática surge debido que la mayoría de los sistemas son desarrollados sin un modelamiento previo lo cual conlleva a que sus procesos puedan ser redundantes e inclusive originar fallos o colapsos del sistema, en el caso del sistema de recaudación de impuestos es muy necesario el análisis previo de cada uno de sus pasos a seguir, porque el sistema de recaudación de impuestos tiene varias funcionalidades el enfoque de nuestro tema es la declaración en cero que depende del usuario si es mensual o semestral, nosotros analizaremos el ejemplo con semestral llegando a la conclusión que el sistema de recaudación de impuestos es un sistema óptimo porque es utilizado por 1586 usuarios aproximadamente, con un tiempo de duración de 7 min por usuario, esto se debe que el sistema es totalmente eficaz en sus procesos y no presenta inconvenientes como otros sistemas que frecuentemente están colapsados
