Lean reachability tree for Petri net analysis

Jun Li 0011, Xiaolong Yu, MengChu Zhou. Lean reachability tree for Petri net analysis. In 13th IEEE International Conference on Networking, Sensing, and Control, ICNSC 2016, Mexico City, Mexico, April 28-30, 2016. pages 1-6, IEEE, 2016. [doi]

Abstract

Abstract is missing.