INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, v.8, no.7, pp.5369 - 5380
Abstract
This paper proposes an extended collaborative process modeling (exCPM), underpinned by the concepts of tokens in Petri Nets (PNs) and ICOM in IDEF0. exCPM allows us to represent collaborative processes in a more comprehensive manner than CPM. In addition, it provides a systematic model verification procedure by model transformation into PNs. In this paper, we first analyze pros and cons of currently available process modeling methods. We then discuss details of the proposed exCPM, and demonstrate its modeling and verification capabilities with case studies.