Kohkichi Tsuji, Tadao Murata. On reachability conditions for unrestricted Petri nets. In ISCAS. pages 2713-2716, 1993.
@inproceedings{TsujiM93,
title = {On reachability conditions for unrestricted Petri nets},
author = {Kohkichi Tsuji and Tadao Murata},
year = {1993},
researchr = {https://researchr.org/publication/TsujiM93},
cites = {0},
citedby = {0},
pages = {2713-2716},
booktitle = {ISCAS},
}