Cite
HARVARD Citation
Benmerzoug, D. et al. (2008). Formalisation and verification of interaction protocols for business process integration: a Petri net approach. International journal of simulation and process modelling. pp. 195-204. [Online].