Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus

L. Zhang, Y. Lu, F. Xu. Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus. IEE Proceedings - Software, 4(5):303-317, 2010. [doi]

Abstract

Abstract is missing.