Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae: A Term Rewriting Approach to Analyze High Level Petri Nets. TASE 2016: 109-112