US7590067B2 - Method and Apparatus for Deriving Allowable Paths Through a Network with Intransitivity Constraints