Solving coverability problems of petri nets by partial deduction.

Michael Leuschel, Helko Lehmann

Browse the full PPDP paper archive.