Hsu-Chun Yen. A valuation-based analysis of conflict-free Petri nets. Systems & Control Letters, 45(5):387-395, 2002. [doi]
@article{Yen02-3,
title = {A valuation-based analysis of conflict-free Petri nets},
author = {Hsu-Chun Yen},
year = {2002},
doi = {10.1016/S0167-6911(01)00196-7},
url = {http://dx.doi.org/10.1016/S0167-6911(01)00196-7},
researchr = {https://researchr.org/publication/Yen02-3},
cites = {0},
citedby = {0},
journal = {Systems & Control Letters},
volume = {45},
number = {5},
pages = {387-395},
}