Referencia rápida

Documentación

• Introducción a las redes de Petri.
  Breve discución de la teoría de redes de Petri.
  
 

• Manual de usuario de PetrA
  
 

• Reporte técnico
  Descripción de la arquitectura de la aplicación.
 

Documentación anterior

PetrA se origino como parte de un trabajo de tesis maestría en la sección de computación, aqui se tienen documentos previos, sin embargo no coinciden (en su arquitectura) con la versión actual. Estos documentos son: la tesis, y el reporte de la VI Conferencia de Ingeniería Eléctrica del CINVESTAV-IPN.

• Tesis de Maestría:
  PetrA: Herramienta para la modelación y simulación de Redes de Petri
  La tesis contiene dos capítulos donde se discute el diseño y los aspectos técnicos de la implantación.
  [html] [pdf(2.3MB)]
   
• "PetrA:Herramienta para la Modelación, Simulación y Verificación de Redes de Petri"
  Sergio V. Chapa Vergara, Hugo García Monroy y Amilcar Meneses Viveros
  Memorias de la Sexta Conferencia de Ingeniería Eléctrica (CIE'2000)
  México, D.F., 6-8 de septiembre del 2000, pp. 67-76
  Este artículo presenta el avance que se tenía a mediados del 2000. En este escrito, se discuten detalles del diseño e implantación de PetrA cuando se empezó a desarrollar en la plataforma OpenStep.
  [ps (1MB)] [pdf (284 KB)]