Selected papers that cite this one Rodney R. Howell, Petr Jan\v{c}ar, and Louis E. Rosier. Completeness results for single-path Petri nets. Information and Computation, 106(2):253-265, October 1993.