Qingtian Zeng, Faming Lu, Cong Liu, Hua Duan, Changhong Zhou. Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 45(2):349-362, 2015. [doi]
Abstract is missing.