Synthesis Rules for Petri Nets, and How they Lead to New Results.

Javier Esparza

Browse the full CONCUR paper archive.