Tsung Hsien Yu. Reachability-related analysis of double-deficient k-th order systems of Petri nets in terms of a closed-form solution. In IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017. pages 3087-3092, IEEE, 2017. [doi]
Abstract is missing.