TELKOM
NIKA
, Vol.11, No
.11, Novemb
er 201
3, pp. 6762
~6
768
e-ISSN: 2087
-278X
6762
Re
cei
v
ed Ap
ril 21, 2013; Revi
sed
Jul
y
1
1
, 2013; Acce
pted Jul
y
29,
2013
Study of Multi-source Fusion B2C Business Pr
ocess
Reengineering of the Petri net Model
Feng Tian
Coll
eg
e of Co
mmunicati
on a
nd Informatio
n
Engi
neer
in
g,
Xi
’an U
n
ivers
i
t
y
of Science a
n
d
T
e
chnol
og
y,
Xi
’a
n 710
05
4, Shaa
n
x
i Prov., Chin
a,86
13
57
2
251
98
7
e-mail: tia
n
fen
g03
06@
16
3.co
m
A
b
st
r
a
ct
In order to fuse a m
u
lti-source B2C E-comm
er
c
e
system
, this paper im
plem
ents a new m
u
lti-
source fusion
B2C
mode business
system applic
at
ion developm
ent, which c
an
prov
ide customers with
efficient a
nd r
e
lia
bl
e co
mpar
ison
an
d cros
s-platfo
r
m
b
u
s
i
ness syste
m
of choos
e a
n
d
buy g
o
o
d
s.
By
analy
z
i
ng the
Multi-sourc
e
fusion
B2C E-comm
erc
e
system
demand of
business proc
e
ss reengineer
ing
and
Petri
net theory, th
e B2
C el
ectronic
c
o
mmerce syst
em
of
mu
lti-so
urce fusi
on str
u
cture is
pro
p
o
sed
,
grap
hica
l w
o
rk
flow
mo
de
lin
g
metho
d
s is
ado
pted, th
e mu
lti-sourc
e
f
u
sio
n
of B
2
C
busi
ness
pro
c
ess
reengineering Petri m
o
del is es
tablished, with the
help of CPNt
ool simula
tion system
and the
establ
ish
m
e
n
t
of correl
a
tio
n
matrix
an
alysis
of the
mode
l.
T
he ex
peri
m
en
tal si
mu
latio
n
a
nalysis
a
nd
out
put
of experi
m
enta
l
reports ind
i
ca
te
that the business proc
esse
s are pr
op
erly desi
gne
d, no dea
dlocks n
o
d
e
exist at ru
nti
m
e, accessi
bil
i
ty meets w
h
ich
provi
des
th
e r
e
ferenc
e
mo
d
e
l for th
e d
e
v
e
lo
p
m
ent
of multi-
source fusion of B2C electronic comm
erc
e
system
.
Ke
y
w
ords
:
el
e
c
tronic co
mme
r
ce, petri net mode
l, B2C, busi
ness proc
ess reen
gin
eer
ing
Copy
right
©
2013 Un
ive
r
sita
s Ah
mad
Dah
l
an
. All rig
h
t
s r
ese
rved
.
1. Introduc
tion
With the conti
nuou
s develo
p
ment of com
put
er technol
ogy and network, mo
re an
d more
enterp
r
i
s
e
s
in
ord
e
r to
reali
z
e th
e ma
nag
ement a
nd
m
a
rketing, the
f
o
rm
of ele
c
tronic comme
rce
is starte
d to use. Enterp
ri
se to con
s
u
m
er bu
sine
ss model ha
s be
come the mai
n
pattern
s for e-
busi
n
e
ss. B2
C (Bu
s
in
ess
to Cu
stome
r
) E-co
mme
rce
mode
refe
rs to marketing
on con
s
um
e
r
groups
usi
ng
the Internet f
o
r all the t
r
ade activi
ties,
which
will reali
z
e the i
n
form
ation flow,
cash
flow, bu
sine
ss flow and
pa
rt of the logi
stics
co
m
p
letel
y
conn
ectio
n
online. At pre
s
ent, ea
ch
bi
g
as
su
ccessful
B2C E-com
m
erce
e
n
terp
rise
s, respe
c
tively built ind
epen
dent b
u
s
ine
s
s sy
ste
m
s,
whi
c
h have t
heir o
w
n a
d
vantage
s an
d
disa
dvanta
g
e
s
, and
can
satisfy the use
r
s o
n
the sa
me
system
of
co
mmodity p
r
ice an
d
d
e
ma
nd of
ch
oo
se
and
buy
go
ods,
but it i
s
lack
of a
se
t of
integrate
d
co
mmoditie
s
pri
c
e comp
ari
s
o
n
and buy
in
g of multi-so
urce fusion of B2
C E-comme
rce
system. Multi
-
source fusion B2
C platform will be th
e success of
B2C E-com
m
erce platform
throug
h
whi
c
h fuses multi
-
so
urce
fusi
o
n
alg
o
ri
thm.
A unified
sy
stem of B2
C
E-com
m
erce
is
integrate
d
, a
nd b
u
si
ness pro
c
e
s
s i
s
reen
gine
ere
d
to provide
cu
stome
r
s with efficient
and
reliabl
e com
pari
s
on
and
sele
ction fu
nction. Multi-sou
r
ce fusi
o
n
B2C el
ect
r
oni
c comme
rce
system
can
provide
a uni
fied busi
n
e
s
s platform fo
r
use
r
s, imp
r
o
v
e the efficie
n
cy of the u
s
er
netwo
rk
sho
p
p
ing, and real
ize
truly one
-stop service.
Petri net is combinatio
ns
of model pre
s
ente
d
by a grap
hical re
p
r
esentation,
with the
advantag
es
of intuitive, easy-to
-u
nde
rstan
d
an
d
easy-to
-u
se,
and it ha
s its o
w
n
kna
ck in
descri
p
tion a
nd an
alysi
s
. Mean
while, P
e
tri net i
s
st
ri
ctly defined
a
s
math
ematical obje
c
t. It could
not only be use
d
for stati
c
structu
r
al a
nalysi
s
,
but also for th
e dynamic b
e
h
a
vior analy
s
i
s
by
mean
s of ma
thematical
an
alysis m
e
tho
d
s an
d te
chni
que
s, and h
a
s
the flexible
modelin
g abil
i
ty
and sy
stem p
e
rform
a
n
c
e a
nalysi
s
skill. Therefore,
th
e use of Petri
net workflow model ma
ke
s it
more
conve
n
i
ent and intu
itive than the traditional
flowchart [1,
2]. It can a
l
so thro
ugh t
h
e
con
s
tru
c
tion
of input, outp
u
t, and the correlation m
a
tr
ix of the nece
s
sary verifi
cation to real
ize
the pro
p
o
s
ed
model. The
system mo
de
ling plays
a
cruci
a
l rol
e
in
system d
e
vel
opment, thro
ugh
the esta
blish
m
ent of the
B2C bu
sin
e
ss proces
s
re
engin
eeri
ng
model of m
u
lti-sou
r
ce fu
si
on,
Multi-source
fusion B2C E-comm
erce syst
em
could be a
ccessed a
nd
analyzed in
pre-
Evaluation Warning : The document was created with Spire.PDF for Python.
TELKOM
NIKA
e-ISSN:
2087
-278X
Study of Multi-so
urce Fu
sio
n
B2C Bu
si
ne
ss Process Reengi
nee
ring
… (Fen
g TIAN)
6763
developm
ent
to ensure the
quality of th
e syst
em,
to
effectively improve th
e reli
ability and th
e
feasibility of the system
and to reduce the cost
of system developm
ent.
2. Petri Net
Sum
m
a
ry
Petri net, th
e combin
atio
ns
of mod
e
l
pre
s
e
n
ted
by a g
r
aphi
cal re
pre
s
e
n
tation, is
invented in
1
960
by CA P
e
tri. It is
use
d
to d
e
sc
ri
be
distrib
u
ted
sy
stem, an
d it
can
de
scrib
e
the
stru
cture of t
he sy
stem a
nd pe
rf
orm si
mulation. It is widely u
s
e
d
in software d
e
sig
n
, wo
rkfl
ow
manag
eme
n
t, data
analysi
s
, workflow p
a
tterns,
pa
ra
ll
el prog
rammi
ng, protocol v
e
rificatio
n
, an
d
other field
s
, and al
so be
used for
co
ncu
r
rent
pro
c
e
ssi
ng of multiple event descri
p
tion a
n
d
analysi
s
of dy
namic
system
s. Photo
g
ra
p
h
y re
pre
s
e
n
ts the
con
d
ition
s
in
the
syst
e
m
s, resou
r
ce
s
,
and i
n
form
ation o
r
th
e like
can
be
stati
c
ally expr
e
s
se
d. Ch
ang
es repre
s
e
n
t the
event of
cha
n
ges
in the syste
m
, contain d
y
namic exp
r
ession
s su
ch
as the stat
e cha
nge
s, the ch
ang
es
in
con
d
ition
s
of the flow of informatio
n, and re
sou
r
ce con
s
um
ption
and produ
cti
on. At the same
time, Petri net contain
s
e
x
ecution
cont
rol me
cha
n
ism, describ
es the
dynamic behavior of
the
system th
rou
gh the
cha
n
g
e
of excitatio
n
and to
ke
ns
mobile [3
-5]. The d
e
scri
ption of the
syst
em
stru
cture is called the net
work (net).
The ba
sic d
e
finition is:
Triple
)
,
,
(
F
T
P
N
is
c
a
lled a direc
t
ed net [3] in whic
h,
(1)
T
P
；
(2)
T
P
；
(3)
P
T
T
P
F
∪
⊆
(
"
"
is Carte
s
ian
produ
ct)
；
(4)
T
P
F
cod
F
dom
∪
)
(
∪
)
(
in whi
c
h,
F
y
x
x
x
F
dom
F
y
x
y
x
F
dom
)
,
(
:
|
)
(
)
,
(
:
|
)
(
This m
odel
sextuple
)
,
,
,
,
,
(
M
W
K
F
T
P
is
called library/t
ransition
system [3, 5],
there
into,
)
,
,
(
2
1
j
P
P
P
P
prese
n
ts finite
set of
pla
c
e;
)
,
,
(
2
1
i
T
T
T
T
presents fini
te set
of
transitio
n.
F is input fun
c
tion, whi
c
h d
e
fine the wei
ght set of dire
cted arc fro
m
P to T.
1)
)
,
,
(
F
T
P
is
a net,
3
,
2
,
1
→
:
F
W
is called
weight
ed functio
n
3
,
2
,
1
:
P
K
is
c
a
lled c
apac
i
ty func
tion
2
,
1
,
0
:
P
M
is a tag of
,
S
a
t
i
sf
ies
)
,
(
≥
)
(
:
∈
∀
t
p
K
p
M
p
p
2)
sat
i
sf
ie
s t
r
a
n
sit
i
on o
c
cur
r
enc
e rule
s
)
(
≤
)
(
-
)
(
)
(
∈
∀
)
(
≤
)
(
)
(
-
∈
∀
)
(
≥
)
(
∈
∀
M[t
T
∈
t
a)
p
K
t
p
W
p
t
W
P
M
t
t
p
K
p
t
W
P
M
t
t
t
p
W
p
M
t
condition
For
p
p
p
，
，
：
，
：
，
：
，
others
s
M
t
t
if
t
p
W
p
t
W
P
M
t
t
if
t
p
W
p
M
t
t
ifs
t
p
W
p
M
P
then
M
IfM
p
，
，
，
，
，
，
，
，
，
)
(
)
(
-
)
(
)
(
-
∈
s
)
(
)
(
-
)
(
-
)
(
∈
∀
'
[t
b)
3. Multi-sour
ce Fusion o
f
B2C
Busine
ss Arc
h
itec
ture
Based
on the
multi-so
urce
information f
u
sio
n
theo
ry, a multi-source info
rmatio
n fusion
of B2C bu
sin
e
ss archite
c
t
u
re i
s
built, th
e individual
b
u
sin
e
ss pl
atform for th
e integratio
n of m
u
lti-
Evaluation Warning : The document was created with Spire.PDF for Python.
e-ISSN: 2
087-278X
TELKOM
NIKA
Vol. 11, No
. 11, Novemb
er 201
3: 676
2 – 6768
6764
sou
r
ce integ
r
ated on
a un
ified bu
sine
ss platform
.
T
he sy
st
em
st
ruct
u
r
e
of
M
u
lt
i-so
ur
ce f
u
sion
B2C E-comm
erce is a
s
sh
own in Fig
u
re
1.
Figure 1. Multi-so
urce Fu
si
on of B2C Bu
sine
ss Architecture
In this archit
ecture, multi
p
le so
urce b
u
sin
e
ss sy
st
em layer in
cl
ude
s the ent
erp
r
ise's
busi
n
e
ss sy
stems (e.g., dangd
ang, jin
gdon
g mall Su Ningyi pu
rch
a
se, gom
e mall, new egg,
etc.), and ma
ture syste
m
s
feature
extra
c
tion layer. Use the inform
ation fusio
n
method to extract
the multi-so
urce
bu
sine
ss
system
layer
in all
t
he ch
a
r
acte
ri
stics
of
the system,
provide
supp
ort
for the fusi
on
layer; Busi
n
e
ss sy
stem i
n
tegrat
io
n lay
e
r shoul
d ma
inly accordin
g to the sy
stem
feature
extra
c
tion
extra
c
t
all the
cha
r
a
c
teri
stic
s of
the system, o
p
timize
th
e multiple
b
u
si
ness
system i
n
teg
r
ation; Bu
sin
e
ss sy
stem
appli
c
at
ion l
a
yer p
r
ovide
s
a m
u
lti-so
urce fu
sion
of
busi
n
e
s
s plat
form, to
prov
ide u
s
e
r
s a
c
ross the
bu
si
ness i
n
the
unified
platfo
rm
system, t
he
function of th
e cho
o
se and
buy good
s [2, 6, 7].
4. Multi-sour
ce Fusion B2C Bu
sines
s
Process Re
engineering
Model
4.1. Establis
h the Multi-s
ource Fu
sion B2C
Busin
ess Proce
ss
Reen
gineeri
ng Petri Ne
t
Model
The
B2
C bu
siness pro
c
e
s
s reen
gine
eri
ng
of
m
u
lti-source fu
sio
n
model i
s
est
ablished
based on Pet
r
i net theo
ry and multi-so
u
r
ce fu
sio
n
of B2C bu
sine
ss archite
c
ture
, and it mainly
inclu
d
e
s
t
w
o
st
ep
s as f
o
llo
ws.
4.1.1. Structured Modeli
ng
The
analysi
s
of multi-so
urce fu
sio
n
of
bus
i
n
e
s
s re
e
ngine
erin
g p
r
oce
s
s i
s
a
c
hi
eved by
the top-d
o
wn
, con
s
tantly iter
ative app
roache
s, mu
lti-so
urce fu
si
on B2C
bu
siness p
r
o
c
e
s
s
reen
gine
erin
g
of the Petri
net model i
s
buil
t, an
d the multi-so
urce fu
sion B2
C E-comm
erce
system lib
rary and the table of chan
ge
meanin
g
are
l
i
sted. In the modelin
g pro
c
e
ss, multi-so
urce
f
u
sion
of
B
2
C E
-
com
m
er
ce
sy
st
e
m
b
u
sin
e
s
s
pro
c
es
s h
a
s
be
e
n
sim
u
lat
e
d
t
h
rou
gh t
h
e
B
2
C
busi
n
e
s
s pro
c
e
s
s optimi
z
ation a
nd
re
engin
eeri
ng.
Then, M
u
lti-source fu
sio
n
B2C
bu
sine
ss
pro
c
e
ss
ree
n
g
inee
ring of the Petri net model ha
s
be
en simul
a
ted
by the use of
simulation to
ols
WinTTP
N [8, 9].
4.1.2. Analy
s
is and Validation of Mod
e
l.
By the use of multi-so
urce
fusion B2C
busi
n
e
ss p
r
o
c
e
ss reen
gin
eerin
g of the Petri net
model, in th
e
previou
s
step
, obtain inp
u
t, output,
and t
he a
s
soci
ate
d
matrix of th
e syste
m
mo
del,
and ne
ce
ssarily verify
the tran
sition firin
g
seq
uen
ce a
nd arrival pro
bability for the system
state,
curre
n
t state or re
que
sted
state, con
s
e
r
vati
on co
ndit
i
ons, a
c
cessi
b
ility and rationality to make
the necessa
ry validation.
Thro
ugh the
above theo
ry, the B2C E-comm
erce
sy
stem of multi-so
urce fu
sio
n
front
and
ba
ckend
resou
r
ces int
egratio
n a
n
d
busi
n
e
s
s pro
c
e
s
s optimi
z
a
t
ion an
d
ree
n
g
inee
ring,
pri
c
e
comp
ari
s
o
n
a
nd cro
s
s-platf
o
rm of valid
and reliable f
unctio
n
of ch
oose and
bu
y goods, first
l
y
establi
s
h ea
ch
n
ode which determi
nes
m
u
lti-
so
urce fusi
on
of B2C b
u
sin
e
ss p
r
o
c
e
ss
reen
gine
erin
g
model, and show a Petri n
e
t modeling li
bra
r
y and the
table of basi
c
meani
ng and
transitio
n. Mu
lti-sou
r
ce fu
si
on B2
C bu
sin
e
ss p
r
o
c
e
ss
reengi
nee
ring
of the Petri n
e
t model li
bra
r
y
and mea
n
ing
cha
nge a
r
e a
s
sh
own in Table 1 an
d Ta
ble 2 re
spe
c
ti
vely.
Evaluation Warning : The document was created with Spire.PDF for Python.
TELKOM
NIKA
e-ISSN:
2087
-278X
Study of Multi-so
urce Fu
sio
n
B2C Bu
si
ne
ss Process Reengi
nee
ring
… (Fen
g TIAN)
6765
Table 1. Place Meanin
g
Ta
ble
Place Meaning
Place
Meaning
P1 user
P6
Shopping
cart
P2
B2C E-commerc
e
sy
stem
P7
Pa
y
m
ent
module
P3
Price comparison
module
P8 merchants
P4
Commodit
y
infor
m
ation
P9
Logistics
module
P5
Inventor
y
sufficient
merchants
P10
Evaluation
module
Table 2. Tran
sition Mea
n
in
g Table
Transition Meaning
Transition
Meaning
T1
Register Login
T
7
Online pa
y
m
ent
T2
Search
products
T8
Orde
r
confirmation
T3
Commodit
y
price
comparison
T9
Logistics
distribution
T4
Check Stock
T
10
Goods receipt
T5
Select
businesses
T11
Goods
evaluation
T6
Submit
orders
T
12
After-sales
ser
v
ice
Multi-source i
n
tegratio
n th
e B2C b
u
si
n
e
ss
process
reengi
nee
ring
Petri net mo
del is
as
s
h
ow
n
in
F
i
gu
r
e
2
.
Figure 2. Multi-so
urce Fu
si
on B2C Bu
sin
e
ss Pr
o
c
e
ss
Ree
ngine
eri
n
g of the Petri Net Model
Diag
ram
4.2. Petri Model Anal
y
s
is
In order to
analyze research
of conservation
and accessibilit
y
multi-source
fusion of
B2C bu
sine
ss pro
c
e
s
s re
engin
eeri
ng Petri net model
by the u
s
e of the matrix equation,
first
cre
a
te a mat
r
ix equation, u
s
e two matrix
equation
s
A
and
A
to show fl
ow relation
sh
ip in the
Petri net. Mat
r
ix
A
input m
a
trix sho
w
s the
relation
ship
wi
th the inp
u
t p
o
sition, the
o
u
tput matrix
A
represents t
he relatio
n
shi
p
with the
out
put positio
n, and the a
s
so
ciated mat
r
ix
A
A
A
[3, 4, 10].
4.2.1. Petri Net Co
nserv
a
tion Conditio
n
Analy
s
is
If and only if there i
s
a po
si
tive right vector
W
,
0
W
A
.
4.2.2. Petri Net Accessibilit
y
Anal
y
s
is
Suppo
se a
m
a
rk
'
M
is
availa
ble from
M
, then the
r
e i
s
a transfe
r
of ignit
i
on
seq
uen
ce
M
mak
e
identific
a
tion from
'
M
to
M
,
A
X
M
M
'
Acco
rdi
ng to the rule
s abo
ve, based on
the Multi-so
urce fusio
n
B2C bu
sine
ss pro
c
e
ss
reen
gine
erin
g
of the Petri
net model bu
ilt
above, it can find out the input mat
r
ix
A
, output
matrix
A
and a
s
so
ciated mat
r
ix
A
, respec
tively is
:
Evaluation Warning : The document was created with Spire.PDF for Python.
e-ISSN: 2
087-278X
TELKOM
NIKA
Vol. 11, No
. 11, Novemb
er 201
3: 676
2 – 6768
6766
0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
)
,
(
]
,
[
i
j
p
t
W
i
j
A
0
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
1
)
,
(
]
,
[
j
i
t
p
W
j
i
A
0
0
1
0
0
0
0
0
0
1
1
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
1
0
0
0
0
0
0
0
1
0
1
1
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
0
1
1
-
A
A
A
Analysis
of the netwo
rk im
plementatio
n: base
d
on
st
a
t
ic ch
ara
c
t
e
rist
ic
s P
e
t
r
i net
sy
st
em
in a
given network, and t
hen
define t
he
condit
ions and conseq
uences of
shi
ft, the dynamic
netwo
rk
ope
ration ca
n be
descri
bed. B
u
t if the dy
namic exe
c
utio
n is condu
cte
d
, it must make
sure that
0
M
mu
st have igniti
on of transfe
r of concessio
n
, the distrib
u
tion of toke
n is take
n in
the net
work,
so th
at the n
e
t turn to
a
n
e
w
state,
wh
en the
r
e i
s
n
o
tran
sfe
r
of
con
c
e
s
sion,
stop
the impleme
n
t
ation pro
c
e
s
s [11, 12].
The Petri net
starting id
enti
f
ication is
)
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
1
(
0
M
First to dete
r
mine Petri ne
t is ready to ignite.
:
1
T
1
1
'
P
T
1
,
1
1
1
1
T
P
W
P
M
Evaluation Warning : The document was created with Spire.PDF for Python.
TELKOM
NIKA
e-ISSN:
2087
-278X
Study of Multi-so
urce Fu
sio
n
B2C Bu
si
ne
ss Process Reengi
nee
ring
… (Fen
g TIAN)
6767
2
'
1
P
T
2
2
1
2
1
1
0
,
P
K
P
T
W
P
M
So
1
T
has con
c
e
ssi
on.
:
10
T
1
10
P
T
1
,
1
10
1
1
T
P
W
P
M
10
'
10
P
T
10
10
10
10
1
1
0
,
P
K
P
T
W
P
M
So
10
T
has con
c
e
ssi
on.
:
2
T
2
2
'
P
T
1
,
0
2
2
2
T
P
W
P
M
So
2
T
has no
co
nce
s
sion, the
reason is la
ck of re
sou
r
ce
s.
In
the s
a
me way
，
12
11
9
8
7
6
5
4
3
,
,
,
,
,
,
,
,
T
T
T
T
T
T
T
T
T
have
n
o
con
c
e
ssi
on,
the
rea
s
o
n
i
s
lack
of
reso
ur
ce
s.
Thro
ugh
the j
udgme
n
t,
1
T
an
d
10
T
have
con
c
e
ssi
on, the
n
Calcul
ated
sep
a
rately ig
nitio
n
of identificatio
n
'
M
.
1
T
:
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
1
,
0
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
1
,
1
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
1
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
1
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
1
]
[
1
0
'
1
A
A
F
M
M
:
10
T
1
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
1
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
1
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
1
0
,
0
,
1
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
0
,
1
]
[
2
0
'
2
A
A
F
M
M
Ne
w state
'
1
M
user lo
gin
su
ccessful B2
C system, multi-sou
r
ce fu
sion
2
P
re
ceiv
e a
c
ce
ss
token. New
state
'
2
M
users complete cro
s
s-pl
atform co
mmodity evaluation,
10
P
tok
e
ns
. With
the help of in
cide
nce matri
x
and re
acha
ble anal
y
s
is,
state after
ch
ange
s me
ets the expecte
d
goal
s, whi
c
h
prove th
e Mul
t
i-sou
r
ce fu
si
on B2
C b
u
si
n
e
ss p
r
o
c
e
s
s reengi
nee
ring
of the Petri
n
e
t
model is effe
ctive.
Acco
rdi
ng to
co
rrelation
matrix an
alysis
an
d the
establi
s
h
ed t
o
figure
kno
w
n m
u
lti-
sou
r
ce fu
sion
of B2
C b
u
si
ness
pro
c
e
ss re
engin
e
e
r
in
g Petri
net m
odel
sati
sfies the
req
u
ire
m
ent
of workflow
accessi
bility, it
can satisfy the multi-source fu
sion of B2C business process
reen
gine
erin
g
need
s, a
nd
provide
effici
ent and
reli
a
b
le comp
ari
s
on an
d ne
w
mode
of cro
s
s
-
platform fun
c
tionality of cho
o
se a
nd buy
good
s.
4.2.3. Experiment Simulation
Petri net
syst
em si
mulatio
n
tool
s can
b
e
ap
plied i
n
orde
r to i
m
prove the effi
ciency
and
intuitive of the verifi
catio
n
of the
system
Petri net. CPNTools c
o
mp
lete
sys
tem model is
impleme
n
ted.
Input th
e e
s
t
ablished
Mult
i-so
urce
fusi
o
n
B2
C b
u
si
ne
ss p
r
o
c
e
s
s re
engin
eeri
ng of
the Petri net model to CP
NTool
s tool
s for simul
a
tion
analysi
s
, the output syste
m
simulatio
n
lab
repo
rt is sho
w
n in Figu
re
3.
Figure 3 CP
NTool
s
simul
a
tion output
repo
rt
shows that the est
ablished m
u
lti-so
urce
fusion
B2C b
u
sin
e
ss
pro
c
ess
reen
gine
ering
of the
P
e
tri net
mod
e
l
of bu
sin
e
ss
pro
c
e
s
s de
si
gn i
s
rea
s
on
able, the syste
m
is
operating
no
rmally, there is no de
adlo
c
k nod
e.
Evaluation Warning : The document was created with Spire.PDF for Python.
e-ISSN: 2
087-278X
TELKOM
NIKA
Vol. 11, No
. 11, Novemb
er 201
3: 676
2 – 6768
6768
Figure 3. CPNTool
s Simul
a
tion Output
Rep
o
rt
5. Conclusio
n
Ba
s
e
d on
mu
lti-
s
o
urc
e
fus
i
o
n
th
eo
r
y
, th
is
pa
p
e
r
put fo
rwa
r
d
a
ne
w
multi-source
f
u
sio
n
of
B2
C
E-
co
mme
r
c
e
mo
de
. T
h
e Pe
tr
i ne
t mo
de
lin
g
method
of system
a
nd system simula
tion
softwa
r
e
CPNTool
s a
r
e a
dopted, multi
-
so
urce fu
si
o
n
B2C bu
sin
e
ss process
reen
gine
erin
g
of
the Petri net
model i
s
e
s
t
ablished. Th
rough th
e a
s
sociate
d
matri
x
and a
c
cessibility analy
s
is,
state after
ch
ange
s me
ets
the expe
cted
goal
s, whi
c
h
prove
s
the P
e
tri net mo
del
is effective a
nd
rea
c
ha
ble. B
y
obse
r
vation
of the syste
m
model
sim
u
lation p
r
o
c
e
ss,
rational
a
nalysi
s
, and t
he
analysi
s
of si
mulation exp
e
rime
nts rep
o
rt,
no dea
dl
ock n
ode
s e
x
ist in the
proce
s
s of
syst
em
operation, a
nd b
u
si
ne
ss proc
ess
d
e
sig
n
i
s
re
aso
nabl
e. T
he m
odel
o
p
timization
and
reen
gine
erin
g
the B2C b
u
si
ness p
r
o
c
e
s
s of multi-so
urce fu
sion, fusi
on of
multi-source of B2C
E-
comm
erce system
devel
op
ment
before the evaluatio
n
and an
alysi
s
, to ensu
r
e th
e quality of the
system, b
u
t a
l
so
can
effecti
v
ely improve
the relia
bility and fea
s
ibility
of the syste
m
, to redu
ce t
h
e
co
st of syste
m
developm
e
n
t.
Referen
ces
[1]
Xu
Ya
ng,
Xie
Xi
ao
ya
o, Z
h
a
n
g
Hu
an
gu
o. Mode
lin
g a
n
d
a
nal
ysis
of
elec
tronic comm
er
ce prot
oco
l
s
usin
g color
ed p
e
tri nets.
Journ
a
l of Softw
are
. 201
1;
6(7):11
8
1
-11
87.
[2]
Cha
ng Da
n, Si Li. Anal
ys
i
s
of grid-bas
e
d
mobil
e
bus
i
ness proc
ess
and rese
arch
on process
simulati
on.
Jou
r
nal of Adva
nc
es in Infor
m
ati
on Scie
nces a
nd Servic
e Sci
ences
. 20
11; 3
(
6): 140-1
50.
[3]
W
ang Z
h
iji
an,
Hu Y
upi
ng,
Li
Shao
hu
a, W
e
i,
Din
gg
uo.Inter
net
w
a
r
e
struct
ure
descri
p
tion
an
d res
earc
h
of the petri net
method.
Jour
n
a
l of Softw
are
.
201
1; 6(9): 177
9-17
86.
[4]
Lei Li
u, Xi
an
g Ji, Lei Z
hang
et al. A Novel W
eb Service
Comp
ositio
n Verificati
on Method b
a
sed o
n
Petri Net.
Internatio
nal Jo
urn
a
l of Digita
l
Co
ntent T
e
chno
lo
gy and its App
l
icatio
ns
. 2012;
6(11): 378-
385.
[5]
Z
hao S
hu
Ha
i, Li
ang
W
e
i, L
i
u Pe
ng.
R
e
se
arch
on E
l
ectr
onic
Co
mmerc
e Mo
del
bas
e
d
o
n
Mo
bil
e
Agent fra
m
ew
o
r
k: A Case Study.
Proc of 4th
Internatio
nal
Conf
er
ence
on
Information M
ana
geme
n
t,
Innovati
on Ma
nag
ement a
nd
Industr
ia
l Engi
neer
ing. 2
011;
480-
482.
[6]
Shen
gq
uan
Ya
ng, Ba
ili
n
Liu,
Cha
n
g
x
i
n
g
Pei.
Res
earch
a
n
d
Dev
e
lo
pme
n
t
of Virtua
l Instru
ment Mo
de
l
Based
o
n
P
e
tri Net
an
d
Comp
one
nt T
e
chn
o
lo
g
y
.
Int
e
rnati
ona
l J
o
u
r
nal
of A
d
van
c
ements
in
Co
mp
uting T
e
c
hno
logy
. 2
012;
4(9): 272-2
79.
[7]
Z
eng-g
a
n
g
Xi
o
ng, Z
h
e
ng-l
i
Z
hai,
Xue-mi
n Z
han
g,
Xue-
w
e
n
Xia. Grid W
o
r
k
flo
w
Serv
ice
Comp
ositio
n
Based o
n
Co
lo
red Petri Net.
Internati
o
n
a
l Jo
urna
l of Digit
al
Cont
e
n
t T
e
chn
o
lo
gy an
d its Applic
atio
ns.
201
1; 5(5): 125
-131.
[8]
Katsaros, Pan
agi
otis. A road
map to el
ectro
n
ic pa
ym
ent transacti
on g
uar
antees
and
a
Color
ed P
e
tr
i
Net mode
l che
cking a
ppro
a
ch
.
Informatio
n a
nd Softw
are T
e
chno
logy
. 2
009
; 51(2): 235-2
5
7.
[9]
Xu Ji
an
an,
Ya
o Weili.
E-co
mmerc
e
lo
gistics
mod
e
l res
earc
h
base
d
on o
b
j
e
ct-orie
n
ted p
e
tri net.
Proc
of 2010 Inter
n
a
t
iona
l F
o
rum o
n
Information T
e
chn
o
lo
g
y
an
d Appl
icatio
ns. 2
010; 42
3-4
26.
[10]
Georgi
adis,
C
h
ristos K. P
i
m
eni
dis, El
ias
K
o
kkini
dis, Io
an
nis. A
c
o
lo
ure
d
Petri
net
an
al
ysis
of th
e
T
r
ansaction Internet Protoc
ol.
Internatio
na
l Journ
a
l of Electr
onic Sec
u
rity a
nd Di
gital F
o
r
e
nsics
. 2
0
10;
3(3): 204-
22
2.
[11]
Chem
aa
S
o
fia
ne, Elmans
ouri
,
Rai
da Ch
ao
u
i
,
Alla
ou
a. W
eb s
e
rvices
mode
lin
g a
n
d
comp
ositio
n
appr
oach
us
in
g o
b
ject-or
i
e
n
ted
petri
nets.
I
n
ternati
o
n
a
l J
o
urna
l of
Co
mp
uter Sci
enc
e I
ssues
. 20
12
;
9(4): 37-5
2
.
[12]
Liu W
e
i, Du Yu
yu
e, F
u
Y
ou, Yan Ch
un. A formal repres
enta
t
ion
of coll
abor
ative el
ectronic
commerc
e
s
y
stems b
y
w
o
rkflo
w
nets
. Ap
plie
d Mech
an
ic
s and Materi
als
. 2012; 17
0-17
3: 3570-
35
74.
Evaluation Warning : The document was created with Spire.PDF for Python.