The system network is traversed by a simple recursive algorithm. The fundamental parts of the algorithm are the 'traverse' procedure, which handles navigation across the network, and the 'choose' procedure, which handles choices in disjunctive choice systems.