An implementation of the augmented transition network system of Woods (as revised by J Slocum)