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

Author: Benmerzoug Djamel   Kordon Fabrice   Boufaida Mahmoud  

Publisher: Inderscience Publishers

ISSN: 1740-2123

Source: International Journal of Simulation and Process Modelling, Vol.4, Iss.3-4, 2009-03, pp. : 195-204

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract