Automating Mason's Rule and Its Application to Analysis of Stochastic Petri Nets

Meng Chu Zhou, Chi Hsu Wang, Xiaoyong Zhao

Research output: Contribution to journalArticlepeer-review

16 Scopus citations


for discrete-event systems can be formulated based on the integration of Petri nets and moment generating function concepts. The key steps in the method include modeling a system with stochastic Petri nets, 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. To automate the above procedure, computer implementation of Mason’s rule becomes very important for a symbolic solution. This paper proposes and implements the algorithms to evaluate the Mason’s rule and describes their applications to deriving transfer functions of a state machine Petri net for system performance. The complexity the algorithms is analyzed. Finally, future research toward construction of a CAD tool for design of discrete-event systems is discussed. A symbolic performance analysis approach.

Original languageEnglish (US)
Pages (from-to)238-244
Number of pages7
JournalIEEE Transactions on Control Systems Technology
Issue number2
StatePublished - Jun 1995

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering


Dive into the research topics of 'Automating Mason's Rule and Its Application to Analysis of Stochastic Petri Nets'. Together they form a unique fingerprint.

Cite this