Departamento de Computación

Las redes de Petri son una estructura matemática que nos permite modelar sistemas que se definen en términos de causa-evento. En ocasiones, dependiendo del sistema que se modela, se adecúan extensiones y restricciones a las redes de Petri, lo cual a generado una gran variedad de este tipo de redes, como son: redes de Petri basadas en tiempo, coloreadas, y jerárquicas, por mencionar algunas. Existe 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 solventar la carencia de los sistemas de redes de Petri que hay, proporcionando un sistema de software libre, y con capacidad de realizar extensiones por parte del ususario 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.