Hsu-Chun Yen On the Regularity of Petri Net Languages. 168-181 1996 124 Inf. Comput. 2 db/journals/iandc/iandc124.html#Yen96