Zuohua Ding, Yuan Zhou, MengChu Zhou. A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations. IEEE T. Automation Science and Engineering, 12(1):295-308, 2015. [doi]
Abstract is missing.