Formalisation and verification of interaction protocols for business process integration: a Petri net approach

Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda. Formalisation and verification of interaction protocols for business process integration: a Petri net approach. IJSPM, 4(3/4):195-204, 2008. [doi]

Abstract

Abstract is missing.