Information Technology Reference
In-Depth Information
Figure 4.4
Transforming BPEL into SWF-net.
We claim that two colored Petri nets N
1
and N
2
are fusible if they
can be fused via a set of common places with identical color sets and
marking, and in this case, the fusion of N
1
and N
2
via common places P
C
is denoted N
1
P
C
N
2
.
Remarks:
In order to do place fusion, we should first label the places
that we want to merge in two nets with identical labels, and we should
also guarantee that places that we do not want to merge arewith different
labels. P
C
is the set of common places in colored Petri nets, which have
identical color set definitions and markings in two nets.
Definition 4.2 is based on the definition given in Reference [115].
However, when we consider the problem of service composition, there
are some specific requirements:
