Țiplea Ferucio Laurenţiu; Bădărău Cristina: A note on decidability of reachability for conditional Petri nets. In: Acta cybernetica, (14) 3. pp. 455-459. (2000)