Petri net generator and analyzer
Date of Publication
1997
Document Type
Bachelor's Thesis
Degree Name
Bachelor of Science in Computer Science
College
College of Computer Studies
Department/Unit
Computer Science
Abstract/Summary
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.
Abstract Format
html
Language
English
Format
Accession Number
TU07870
Shelf Location
Archives, The Learning Commons, 12F, Henry Sy Sr. Hall
Physical Description
1 v. (various pagings) ; Computer print-out.
Keywords
Petri nets; Computer systems; Graph theory; Flow chart generators
Recommended Citation
Co, C. C., Garniel, B. D., Te, C. C., & Veloso, J. Q. (1997). Petri net generator and analyzer. Retrieved from https://animorepository.dlsu.edu.ph/etd_bachelors/9572