Collaboration Business Process Modeling Based on Petri Nets and Pi Calculus
DAI Fei, MO Qi, LIN Leilei, ZHU Rui, LI Tong, XIE Zhongwen
Journal of Frontiers of Computer Science and Technology . 2015, (6): 692 -706 .  DOI: 10.3778/j.issn.1673-9418.1408024