We offer a theorem that highlights the broad applicability of these modeling techniques.
multiplication and addition are replaced by binary operations ⊗ and ⊕ on K. ⊗ is used to combine arc weights into a path weight and ⊕ is used to combine the weights of alternative paths.