An event driven shop scheduling system by H.J. Vaes