Howell, et al.. Completeness Results for Single-path Petri Nets. Elsevier BV, 1993, doi:10.1006/inco.1993.1055.