02791nam a2200241   450000500170000000800410001703500150005810000290007324500970010226000520019930000100025149000270026150001440028850200580043252017560049065000150224670000390226170000430230070000440234371000380238781000590242585600650248420260818090925.0280898         th                  eng    a.b102004961 aMusa, Kazi Abul Faruk Md10aDevelopment of software tools for modeling and analysis of systems using extended Petri nets  aBangkok :bAsian Institute of Technology,c1990  a79 p.1 aThesis ;vno. CS-90-26  aA thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology  aThesis (M.Eng.) - Asian Institute of Technology, 1990  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. 0aPetri nets1 aNanda, Navnit Kumar, eChairperson0 aVilas Wuwongse,eExamination Committee1 aPhan, Minh Dung,eExamination Committee2 aJapan - ADB., eScholarship Donor2 aAsian Institute of Technology.tThesis ;vno. CS-90-26  3Full-Textuhttp://203.159.5.9/ait-thesis/detail.php?q=B18303