Alumno: Amilcar Meneses Viveros
Director: Sergio Chapa Vergara
Asesor: Hugo García Monroy
Enero 2002
Resumen
Las redes de Petri son una estructura matemática que nos permite modelar sistemas que se definen en términos de causa-evento. Cuando se trabaja con esta herramienta, es común hacer extensiones y restricciones a las redes de Petri, dependiendo de las características sistema que se modela. Estas modificaciones han generado una gran variedad de este tipo de redes, como son: redes de Petri basadas en tiempo, coloreadas, y jerárquicas, por mencionar algunas.
Existen una gran variedad de sistemas de software que trabajan con redes de Petri, sin embargo carecen de la capacidad de extensión por parte del usuario, ya que sólo se proporciona o vende el código ejecutable y, por lo general, está orientado al manejo de un sólo tipo de redes de Petri.
Este trabajo de tesis está orientado al desarrollo de la aplicación PetrA. En esta aplicación se plantea proporcionar un sistema de software libre, y con capacidad de realizar extensiones a las redes de Petri por parte del usuario, de manera consistente y sencilla. Por esta razón PetrA se ha desarrollado como una aplicación orientada a objetos en los ambientes de desarrollo de OpenStep y MacOS X, los cuales proporcionan un entorno de trabajo adecuado y sencillo, además de permitir la exportación de la aplicación a Windows utilizando el producto Yellow Box de Apple.