Quick Reference

Documentation

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

• PetrA User Manual (english)
  
 

• Technical report (spanish)
  Architecture description of PetrA.
 

Old documents

The following documentation don't explain the PetrA's currently version.

• Thesis
  PetrA: Herramienta para la modelación y simulación de Redes de Petri
  The thesis have two chapters that include a discution about design, and implements technicals problems.
  [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
  This paper have a status of the work at middle of 2000 year. Because Petra started develop in OpenStep and have a migration to Mac OS X, this work is not the final version
  [ps (1MB)] [pdf (284 KB)]