Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets.

Rubn Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola

Browse the full TACAS paper archive.