Qian Gao, Young-Im Cho. A Subclass of Petri Net with Reachability Equivalent to State Equation Satisfiability: Live Single Branch Petri Net. Int. J. Fuzzy Logic and Intelligent Systems, 13(3):200-207, 2013. [doi]
@article{GaoC13-2,
title = {A Subclass of Petri Net with Reachability Equivalent to State Equation Satisfiability: Live Single Branch Petri Net},
author = {Qian Gao and Young-Im Cho},
year = {2013},
doi = {10.5391/IJFIS.2013.13.3.200},
url = {http://dx.doi.org/10.5391/IJFIS.2013.13.3.200},
researchr = {https://researchr.org/publication/GaoC13-2},
cites = {0},
citedby = {0},
journal = {Int. J. Fuzzy Logic and Intelligent Systems},
volume = {13},
number = {3},
pages = {200-207},
}