Graph-theoretic constructs are widely used in the modeling and analysis of systems. However, most existing constructs are not suitable for the analysis of systems where relationships between sets of elements have to be represented and manipulated. Such relationships occur commonly in the...