Mohamed Faouzi Atig Peter Habermehl On Yen's Path Logic for Petri Nets. 51-63 2009 RP http://dx.doi.org/10.1007/978-3-642-04420-5_7 conf/rp/2009 db/conf/rp/rp2009.html#AtigH09