Modular Verification of Petri Nets Properties: A Structure-Based Approach.

Kais Klai, Serge Haddad, Jean-Michel Ili

Browse the full FORTE paper archive.