A Description of Path Expressions by Petri Nets.

Peter E. Lauer, Roy H. Campbell

Browse the full POPL paper archive.