@inproceedings{Bouziane,
    doi = {10.1109/sfcs.1998.743436},
    url = {https://doi.org/10.1109%2Fsfcs.1998.743436},
    publisher = {{IEEE} Comput. Soc},
    author = {Z. Bouziane},
    title = {A primitive recursive algorithm for the general Petri net reachability problem},
    booktitle = {Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280)}
}

@inproceedings{Bouziane, doi = {10.1109/sfcs.1998.743436}, url = {https://doi.org/10.1109%2Fsfcs.1998.743436}, publisher = {{IEEE} Comput. Soc}, author = {Z. Bouziane}, title = {A primitive recursive algorithm for the general Petri net reachability problem}, booktitle = {Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280)} }