This project is the testbed model from Leduc's MASc thesis below.  I
believe it may contain some corrections.

R.J. Leduc. PLC Implementation of a DES Supervisor for a Manufacturing
Testbed: An Implementation Perspective. M.A.Sc. Thesis, Dept. of
Elec. & Comp. Engrg., Univ. of Toronto, January 1996. Click here for
abstract and to download copy of thesis.  

http://www.cas.mcmaster.ca/~leduc/mthesis.html

