Petri net generator and analyzer
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 Ge...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | text |
| Language: | English |
| Published: |
Animo Repository
1997
|
| Subjects: | |
| Online Access: | https://animorepository.dlsu.edu.ph/etd_bachelors/9572 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | De La Salle University |
| Language: | English |
| 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. |
|---|