An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.

Kais Klai, Laure Petrucci, Michel A. Reniers

Browse the full FORTE paper archive.