Meng Chu Zhou, Chi-Hsu Wang, Xiaoyong Zhao. Automating Mason's rule and its application to analysis of stochastic Petri nets. IEEE Trans. Contr. Sys. Techn., 3(2):238-244, 1995. [doi]
@article{ZhouWZ95,
title = {Automating Mason's rule and its application to analysis of stochastic Petri nets},
author = {Meng Chu Zhou and Chi-Hsu Wang and Xiaoyong Zhao},
year = {1995},
doi = {10.1109/87.388133},
url = {http://dx.doi.org/10.1109/87.388133},
researchr = {https://researchr.org/publication/ZhouWZ95},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Contr. Sys. Techn.},
volume = {3},
number = {2},
pages = {238-244},
}