Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets
Zeng, QingTian; Lu, FaMing; Liu, Cong; Duan, Hua; Zhou, ChangHong
- 期刊名称IEEE Transactions on Systems, Man, and Cybernetics: Systems
- 作者Zeng, QingTian; Lu, FaMing; Liu, Cong; Duan, Hua; Zhou, ChangHong
- 卷第45卷
- 期第2期
- 印刷ISSN2168-2216
- 电子ISSN2168-2232
- 文件大小3948.61KB
- 发表时间2015-2
- DOI10.1109/tsmc.2014.2334276
- 页码349-362