Peter E. Lauer Roy H. Campbell A Description of Path Expressions by Petri Nets. 95-105 1975 POPL db/conf/popl/popl75.html#LauerC75