1
A simulator for Petri net models and its application | |
Author | Lin, Liu-ming Kelvin |
Call Number | AIT Thesis no. CA-85-14 |
Subject(s) | Network analysis (Planning)--Computer programs |
Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science, School of Engineering and Technology |
Publisher | Asian Institute of Technology |
Abstract | In this study, a simulator is developed with the capability of analyzing and modelling systems having asynchronous, concurrent or parallel activities. Based on the petri net theory. this simulator is developed using micro-PROLOG language under MS-DOS. A Petri net graphic subsystem is incorporated in the simulator to illustrate dynamic properties of petri nets. A time-driven system which is formalized by using a petri net model augmented with timing information is introduced. Several other extensions are also implemented, such as bounded token numbers, gate control. constrained transition. These extensions help increase the modelling power of ordinary Petri nets. The effectiveness and usefulness of the simulator are verified by applying it to a design of a complex sequential control system. |
Year | 1985 |
Type | Thesis |
School | School of Engineering and Technology (SET) |
Department | Other Field of Studies (No Department) |
Academic Program/FoS | Computer Application (CA) |
Chairperson(s) | Vilas Wuwongse |
Examination Committee(s) | Huynh, Ngoc Phien ;Duangkaew Sawamiphakdi |
Scholarship Donor(s) | The Government of Republic of China |
Degree | Thesis (M.Sc.) - Asian Institute of Technology, 1985 |