H. Melgratti, C. Mezzina, I. Ulidowski. Reversing Place Transition Nets. Accepted in Logical Methods in Computer Science.