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

Meng Chu Zhou, Chi-Hsu Wang, Xiaoyong Zhao

研究成果: Article同行評審

14 引文 斯高帕斯(Scopus)


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.

頁(從 - 到)238-244
期刊IEEE Transactions on Control Systems Technology
出版狀態Published - 1 一月 1995

指紋 深入研究「Automating Mason's Rule and Its Application to Analysis of Stochastic Petri Nets」主題。共同形成了獨特的指紋。