F. L. Țiplea and C. Bădărău, “A note on decidability of reachability for conditional Petri nets”, Acta Cybern, vol. 14, no. 3, pp. 455-459, Jan. 2000.