Kais Klai Laure Petrucci Michel A. Reniers An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. 280-295 2007 conf/forte/2007 FORTE http://dx.doi.org/10.1007/978-3-540-73196-2_18 db/conf/forte/forte2007.html#KlaiPR07