C. Ip, COIN Home Page

C. Carrez, D. Grosso, E. Karacan, O. Taglino, and F. , Towards Cross-organisational Innovative Business Process Interoperability Services Valencia (Spain), LNBIP Semantics of Business Vocabulary and Business Rules, vol.38, 20095.

A. Awad and F. Puhlmann, Structural Detection of Deadlocks in Business Process Models, pp.239-250, 2008.
DOI : 10.1007/978-3-540-79396-0_21

M. Rospocher, C. Di-fransescomarino, and C. Ghidini, Collaborative Specification of Semantically Annotated Business Processes, BPM 2009 Workshops, 2010.
DOI : 10.1007/978-3-642-12186-9_29

R. Seguel, R. Eshuis, and P. Grefen, An Overview on Protocol Adaptors for Service Component Integration, Beta Research School Working Paper Series, vol.265, 2008.
DOI : 10.1145/1645406.1645411

M. Remco, M. Dijkman, C. Dumas, and . Ouyang, Formal Semantics and Analysis of BPMN Process Models using Petri Nets, 2010.

P. Bonet, C. M. Llado, and R. Puigjaner, PIPE v2.5: a Petri Net Tool for Performance Modeling, 23rd Latin American Conference on Informatics, 2007.