"Path Decomposition and Semilinearity of Petri Nets."

Hsu-Chun Yen (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics