Chuanliang Xia, Zhendong Liu. Property Preservation of Time Petri Net Reduction. In Third International Symposium on Intelligent Information Technology and Security Informatics, IITSI 2010, Jinggangshan, China, April 2-4, 2010. pages 154-159, IEEE Computer Society, 2010. [doi]
Abstract is missing.