Zuohua Ding Yuan Zhou 0005 Mingyue Jiang MengChu Zhou A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems. 1087-1100 2015 45 IEEE Trans. Syst. Man Cybern. Syst. 7 https://doi.org/10.1109/TSMC.2014.2379654 db/journals/tsmc/tsmc45.html#DingZJZ15