| Author | Shrestha, Basanta Raj |
| Call Number | AIT Thesis no.CS-89-14 |
| Subject(s) | Petri nets
|
| Note | A thesis submitted in partial fulfillment of the requirements for
the degree of Master of Engineering |
| Publisher | Asian Institute of Technology |
| Abstract | Petri Net based Software Tools for modeling and analysis
of systems have been developed to provide a complete environment
for: 1. Specification, 2. Net Creation and Manipulation,
3. Simulation and Execution, and 4. Analysis of systems.
A specification language is developed which describes a
system as a Petri Net graph model. A translator for Petri Net
specification has been developed to check syntax and semantics
of the specification language and appropriately maps into data
structures. A high- level interactive graphical editor bridges
the gap between the Petri Net Specification and t h e Petri Net
Simulator.
The capability of Petri Net simulator in simulating Petri
Net model in various modes interactively makes it very useful to
get insight into dynamic behavior of the system being modeled.
Further reachability analysis technique has been implemented to
observe various properties of the net. An additional feature of
Subnet Modeling has been incorporated in the Simulator which
provides capability to test each part of the net. This is extremely
useful in the case of modeling a large system.
Different case studies on real-time systems, simple flexible
manufacturing system and parallel computation, have been
considered in order to verify the effectiveness of the developed
tools and to illustrate its possible use in other areas especially
where complex con current system are involved. |
| Year | 1989 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Nanda, N.K.; |
| Examination Committee(s) | Vilas Wuwongse;Phan, Minh Dung; |
| Scholarship Donor(s) | Federal Republic of Germany (DAAD); |
| Degree | Thesis (M.Eng.) - Asian Institute of Technology, 1989 |