@incollection{Lee12,
author = {Gi Bum Lee and Han Zandong and Jin S. Lee},
title = {Reachability Criterion with Sufficient Test Space for Ordinary Petri Net},
booktitle = {Petri Nets},
publisher = {IntechOpen},
address = {Rijeka},
year = {2012},
editor = {Pawel Pawlewski},
chapter = {19},
doi = {10.5772/50518},
url = {https://doi.org/10.5772/50518}
}