Xinju Zhang, Shuzhen Yao. The new method of liveness verification with Object-Oriented Timed Petri Nets. In Seventh International Conference on Advanced Computational Intelligence, ICACI 2015, Wuyi, China, March 27-29, 2015. pages 7-11, IEEE, 2015. [doi]
Abstract is missing.