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

Print

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

This document is currently not available here.

Share

COinS