Matrix representation and automation of verification of soundness of robustness diagram with time and loop controls

Robustness Diagram with Loop and Time Controls (RDLT) is a graph representation of a system. It was designed to build multidimensional workflow models for complex systems modelling. In this paper, a matrix representation of RDLT is proposed. Using this matrix representation, it is shown how activity extraction in RDLTs can be done through computations involving matrix operations and how the soundness of RDLTs can be verified from the results of these computations.