Zuohua Ding, Yuan Zhou, Mingyue Jiang, MengChu Zhou. A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 45(7):1087-1100, 2015. [doi]
Abstract is missing.