Lan Xiao Li Zheng Jian Xiao Yi Huang A Graphical Query Language for Querying Petri Nets. 514-525 2009 UNISCON http://dx.doi.org/10.1007/978-3-642-01112-2_52 conf/ista/2009 db/conf/ista/uniscon2009.html#XiaoZXH09