Țiplea, F. L., & Bădărău, C. (2000). A note on decidability of reachability for conditional Petri nets. Acta Cybernetica, 14(3), 455-459. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3538