Property-Transition-Net-Based Workflow Process Modeling and Verification

Yu Huang, Hanpin Wang, Peng Yu, Yunni Xia. Property-Transition-Net-Based Workflow Process Modeling and Verification. Electronic Notes in Theoretical Computer Science, 159:155-170, 2006. [doi]

Abstract

Abstract is missing.