Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski, Maciej Koutny, Evgeny Erofeev. Reversing Transitions in Bounded Petri Nets. In Bernd-Holger Schlingloff, editor, Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016. Volume 1698 of CEUR Workshop Proceedings, pages 74-85, CEUR-WS.org, 2016. [doi]