Țiplea, F.L. and Bădărău, C. 2000. A note on decidability of reachability for conditional Petri nets. Acta Cybernetica. 14, 3 (Jan. 2000), 455-459.