Petri net generator and analyzer

• Main Authors: Co, Christine Fatima C., Garniel, Beverly D., Te, Cherry Rose C., Veloso, Janet Q.
• Format: text
• Language: English
• Published: Animo Repository 1997
• Subjects: Petri nets; Computer systems; Graph theory; Flow chart generators
• Online Access: https://animorepository.dlsu.edu.ph/etd_bachelors/9572
• Institution: De La Salle University

Petri Nets have developed over the years into a suitable model for representing and studying concurrent systems. With its modeling capabilities, it makes an ideal representation scheme for describing, analyzing and synthesizing different kinds of real systems. This thesis, dubbed as the Petri Net Generator and Analyzer, employs the Petri Net model to aid concurrent Ada programmers in studying problems related to the design, modeling and analysis of concurrent systems. PGA incorporates a Petri Net editor for the construction and editing of Petri Net graphs, a Petri Net generator for the conversion of an Ada program to its Petri Net equivalent and a Petri Net analyzer to determine the properties of the Petri Net.