The representation, analysis and verification of business processes: a metagraph-based approach

Arindam Mukherjee, Anup K. Sen, Amitava Bagchi. The representation, analysis and verification of business processes: a metagraph-based approach. Information Technology and Management, 8(1):65-81, 2007. [doi]

Abstract

Abstract is missing.