Ferucio Laurentiu Tiplea, Cristina Badarau. A Note on Decidability of Reachability for Conditional Petri Nets. Acta Cybern., 14(3):455-459, 2000. [doi]
@article{TipleaB00,
title = {A Note on Decidability of Reachability for Conditional Petri Nets},
author = {Ferucio Laurentiu Tiplea and Cristina Badarau},
year = {2000},
url = {http://www.inf.u-szeged.hu/kutatas/actacybernetica/vol14n3/cikk2.xml},
researchr = {https://researchr.org/publication/TipleaB00},
cites = {0},
citedby = {0},
journal = {Acta Cybern.},
volume = {14},
number = {3},
pages = {455-459},
}