Although workflow and process management have become important areas of research and development, there are no methods available yet for formal modeling and analysis of workflow systems. Available systems are largely limited to graphical visualization of workflow. We have developed an approach to formal analysis of workflows represented using a graph theoretic construct called a metagraph. In this paper, we show how certain graph-theoretic transformations on a workflow metagraph can be used to derive orthogonal metagraph representations that facilitate analysis of various dependencies between workflow components.