@ARTICLE{FL07, AUTHOR = {S{\l}awomir Lasota and Marcin Poturalski}, TITLE = {Undecidability of performance equivalence of Petri nets}, JOURNAL = {Theoretical Computer Science}, YEAR = {2016}, VOLUME = {655, Part B}, PAGES = {109-119} }