000			03427nam a2200385 4500
005			20260818090925.0
008			280898 th eng
035			_a.b10200496
099		9	_aAIT Thesis no.CS-90-26
100	1		_aMusa, Kazi Abul Faruk Md
245	1	0	_aDevelopment of software tools for modeling and analysis of systems using extended Petri nets
260			_aBangkok : _bAsian Institute of Technology, _c1990
300			_a79 p.
490	1		_aThesis ; _vno. CS-90-26
500			_aA thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology
502			_aThesis (M.Eng.) - Asian Institute of Technology, 1990
520			_aA software for Basic Petri net was developed in an earlier thesis (SHRESTHA, 1989) which is used for Specification, Modeling, Simulation and Analysis of Basic Petri nets. The present work is an extension of this, which focuses mainly on Timed Petri Net with a Timed Place approach . A Specification Language is developed for proper net representation which is passed through a Parser for Syntactic and Semantic checking of the specification and develops necessary data structure for graphical representation of the timed net. An interactive Graphical Editor is used for drawing the net which is later used in the Simulation Module for providing the user with progress of simulation visually . A Rea.1-Time ~imulation module is developed by which the dynamic behavior ·of the modeled system can be viewed and its interactive nature provides the user to make adjustment to the timing and initial marking for a desired net property . Reachability analysis technique has also been implemented for the generation of possible transition sequences for the Reachability tree and as well as for different net properties. Subnet modeling facilitates for analyzing part of a large system and thus serves as a convenient tool for hierarchical net modeling . These subnets can be individually simulated. In addition to these features for Timed Petri net, a module for Matrix analysis of Basic Petri net has also been implemented which verifies the conservativeness property and the checks for deadlock detection in the net structure. The features of Timed Petri net have been integrated with the Basic Petri net software to present a comprehensive packa~1e which is a versatile tool for performance evaluation of wide range of systems.
650		0	_aPetri nets
700	1		_aNanda, Navnit Kumar, _eChairperson
700	0		_aVilas Wuwongse, _eExamination Committee
700	1		_aPhan, Minh Dung, _eExamination Committee
710	2		_aJapan - ADB., _eScholarship Donor
810	2		_aAsian Institute of Technology. _tThesis ; _vno. CS-90-26
856			_3Full-Text _uhttp://203.159.5.9/ait-thesis/detail.php?q=B18303
907			_a.b10200496 _bmnait _cx
902			_a240329
998			_b2 _c951012 _dm _ea _fx _g0
945			_lmnait
945			_lmnarc
942			_c22
942			_c40
909			_aBarcode : 30050120677553 _bCREATED : 2014-11-02 _cRECORD # : i12761187 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0
909			_aBarcode : 30050120373005 _bCREATED : 2016-08-06 _cRECORD # : i13025727 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0
999			_c29535 _d29535