Gustabello Cogle, RobbyMontejo Pérez, Pedro Jesús2016-07-112016-07-112013-06-20https://dspace.uclv.edu.cu/handle/123456789/6278Las Redes de Petri constituyen en la actualidad una de las herramientas preferidas por los diseñadores para la confección de modelos y por ello es preciso extremar el rigor a la hora de verificar y validar los prototipos obtenidos, para evitar que se implementen modelos inadecuados para el proceso en cuestión. Para ello, se necesita establecer una metodología de trabajo de fácil comprensión tomando como base las técnicas más utilizadas para la verificación y validación de modelos desarrollados mediante las Redes de Petri. Dicha metodología debe guiar los pasos del diseñador para llevar a cabo adecuadamente estos procesos. En el presente trabajo no solo se propone una metodología, sino que se ejemplifica su aplicación mediante un análisis de caso. El desarrollo de los procesos de verificación y validación para el modelo “Software para la conversión de referencias bibliográficas”, de la Facultad de Ingeniería Eléctrica de la Universidad Central “Marta Abreu” de Las Villas y realizado por Denis Aldonza Bermúdez en el año 2012, demostró la inconsistencia interna del modelo y que no cumplía con las especificaciones de diseño.esEste documento es Propiedad Patrimonial de la Universidad Central “Marta Abreu” de Las Villas.Los usuarios podrán hacer uso de esta obra bajo la siguiente licencia: CreativeCommons: Atribución-No Comercial-Compartir Igual 4.0 LicenseSistemas ModeladosRedes de PetriVerificación de ModelosThesis