A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration.

Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufada

Browse the full CaiSE paper archive.