Polynomial-Time Manz-One Reductions for Petri Nets

Catherine Dufourd, Alain Finkel. Polynomial-Time Manz-One Reductions for Petri Nets. In S. Ramesh, G. Sivakumar, editors, Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings. Volume 1346 of Lecture Notes in Computer Science, pages 312-326, Springer, 1997. [doi]

Abstract

Abstract is missing.