Michael Leuschel Helko Lehmann Solving coverability problems of petri nets by partial deduction. 268-279 2000 PPDP http://doi.acm.org/10.1145/351268.351298 db/conf/ppdp/ppdp2000.html#LeuschelL00