Jiaying Ma, Wei Han, Zuohua Ding. Behavior Analysis of Software Systems Based on Petri Net Slicing. In De-Shuang Huang, Changjun Jiang, Vitoantonio Bevilacqua, Juan Carlos Figueroa García, editors, Intelligent Computing Technology - 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings. Volume 7389 of Lecture Notes in Computer Science, pages 475-482, Springer, 2012. [doi]
Abstract is missing.