Dissertation Information for Lai Kuen So NAME: - Lai Kuen So
DEGREE:
- Ph.D.
DISCIPLINE:
- Library and Information Science
SCHOOL:
- University of Hawaii (USA) (1997)
ADVISORS: - Art Lew
COMMITTEE MEMBERS: - William E. Remus - Alexander Eric Quilici - W. Wesley Peterson - Hong Mei Chen Garcia
MPACT Status: Fully Complete
Title: Automatic code generation for simulation programs using Petri net models
Abstract: This dissertation describes the design and implementation of an automatic code generation system, named SPNACG, that produces simulation programs from Petri net models of discrete event systems. The high-level Simulation Based Petri Nets (SBPNs) we adopted are general enough to allow systems from a broad range of application areas to be modeled. These SBPNs adhere to common conventions but in addition are labeled in a fashion that supports transition localization.
Transition localization refers to the property of a Petri net where its operation can be modeled by a set of independent transition rules, each transition being independent of all other transitions with any interrelationships necessitating use of intermediary place nodes. It is this property that permits the representation of transitions as independent columns in a table, and then from a tabular representation of the Petri net to generate code one column at a time. We have also developed a tabular data structure representation which, along with an adaptation of decision table processing techniques, make it possible to generate simulation code in a variety of target languages automatically without the restrictive assumptions typical of other approaches.
Contrasts between existing simulation tools and SPNACG are made with particular focus on automatic code generation. Benefits offered by SPNACG include high generality, ease of modeling and applicability to both transaction-based and control-based systems. Contributions of our work to the areas of decision systems, Petri net modeling, and discrete-event simulation are discussed.
Two specific target languages (GPSS and SIMSCRIPT) were chosen for actual implementations of SPNACG. These two languages are representative of the main classes of simulation languages, process-oriented and event-scheduling. Programs generated from SPNACG were validated by a comparison of simulation output with analytical results. The problems associated with handling both transaction-based and control-based applications, and how different target language facilities affect their resolution, are discussed.
| |
MPACT Scores for Lai Kuen So A = 0
C = 0
A+C = 0
T = 0
G = 0
W = 0
TD = 0
TA = 0
calculated 2008-01-31 06:31:30
Advisors and Advisees Graph
generating graph, please reload |