Ferucio Laurentiu Tiplea and Cristina Badarau. A note on decidability of reachability for conditional petri nets. Acta Cybernetica, 14(3):455-459, 2000. [ PDF ]
This document was translated from BibTEX by bibtex2html