MengChu Zhou, Chi-Hsu Wang, Xiaoyong Zhao: Automating Mason's rule and its application to analysis of stochastic Petri nets. IEEE Trans. Control. Syst. Technol. 3(2): 238-244 (1995)