Document Type


Date of Award


Degree Name

Master of Science in Computer and Information Science - (M.S.)


Computer and Information Science

First Advisor

MengChu Zhou

Second Advisor

Daniel Y. Chao

Third Advisor

David T. Wang


A symbolic performance analysis approach for discrete event systems can be formulated based on the integration of Petri nets and Moment Generating Function concepts [1-3]. The key steps in the method include modeling a system with arbitrary stochastic Petri nets (ASPN), generation of state machine Petri nets with transfer functions, derivation of equivalent transfer functions, and symbolic derivation of transfer functions to obtain the performance measures. Since Mason's rule can be used to effectively derive the closed-form transfer function, its computer implementation plays a very important role in automating the above procedure. This thesis develops the computer implementation of Mason's rule (CIMR). The algorithms and their complexity analysis are also given. Examples are used to illustrate CIMR method's application for performance evaluation of ASPN and linear control systems. Finally, suggestions for future software development of ASPN are made.



To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.