A Note on Decidability of Reachability for Conditional Petri Nets. - Ferucio Laurentiu Tiplea; Cristina Badarau (Acta Cybern., 2000)