A spectrum of solutions to the Cigarette Smokers Problem /
Campbell, Roy Harold.
Lauer, Peter Ernst.
Newcastle upon Tyne :  University of Newcastle upon Tyne, 
1974.
Petri nets.
Synchronization.