AI SearchDevelopment of software tools for modeling and analysis of systems using extended Petri nets (Record no. 29535)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03427nam a2200385 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260818090925.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 280898 th eng |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | .b10200496 |
| 099 #9 - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | AIT Thesis no.CS-90-26 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Musa, Kazi Abul Faruk Md |
| 245 10 - TITLE STATEMENT | |
| Title | Development of software tools for modeling and analysis of systems using extended Petri nets |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Bangkok : |
| Name of publisher, distributor, etc. | Asian Institute of Technology, |
| Date of publication, distribution, etc. | 1990 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 79 p. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Thesis ; |
| Volume/sequential designation | no. CS-90-26 |
| 500 ## - GENERAL NOTE | |
| General note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Eng.) - Asian Institute of Technology, 1990 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | A 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 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Petri nets |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Nanda, Navnit Kumar, |
| Relator term | Chairperson |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Vilas Wuwongse, |
| Relator term | Examination Committee |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Phan, Minh Dung, |
| Relator term | Examination Committee |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Japan - ADB., |
| Relator term | Scholarship Donor |
| 810 2# - SERIES ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Institute of Technology. |
| Title of a work | Thesis ; |
| Volume/sequential designation | no. CS-90-26 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Full-Text |
| Uniform Resource Identifier | <a href="http://203.159.5.9/ait-thesis/detail.php?q=B18303">http://203.159.5.9/ait-thesis/detail.php?q=B18303</a> |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b10200496 |
| b | mnait |
| c | x |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 240329 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 2 |
| Cataloger's initials, CIN (RLIN) | 951012 |
| First date, FD (RLIN) | m |
| -- | a |
| -- | x |
| -- | 0 |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 22-AIT Thesis (Replacement) |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 40-Archives |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120677553 |
| CREATED | CREATED : 2014-11-02 |
| RECORD Id | RECORD # : i12761187 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120373005 |
| CREATED | CREATED : 2016-08-06 |
| RECORD Id | RECORD # : i13025727 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 18/08/2026 | 50.00 | AIT Thesis no.CS-90-26 | 30050120677553 | 18/08/2026 | 3 | 18/08/2026 | 22-AIT Thesis (Replacement) | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 18/08/2026 | AIT Thesis no.CS-90-26 | 30050120373005 | 18/08/2026 | 18/08/2026 | 40-Archives |