A description of path expressions by Petri Nets /
Lauer, Peter Ernst.
Campbell, Roy Harold.
Newcastle upon Tyne :  University of Newcastle upon Tyne, 
1974.
Petri nets.
Synchronization.