Michael Leuschel, Helko Lehmann. Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction. In John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey, editors, Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Volume 1861 of Lecture Notes in Computer Science, pages 101-115, Springer, 2000. [doi]
Abstract is missing.