# The Equivalency between Logic Petri Workflow Nets and Workflow Nets

Authors: Jing Wang; ShuXia Yu; YuYue Du
Journal: The Scientific World Journal
 (2015)

---

## Abstract

Logic Petri nets (LPNs) can describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Logic Petri workflow nets (LPWNs) are proposed based on LPNs in this paper. Process mining is regarded as an important bridge between modeling and analysis of data mining and business process. Workflow nets (WF-nets) are the extension to Petri nets (PNs), and have successfully been used to process mining. Some shortcomings cannot be avoided in process mining, such as duplicate tasks, invisible tasks, and the noise of logs. The online shop in electronic commerce in this paper is modeled to prove the equivalence between LPWNs and WF-nets, and advantages of LPWNs are presented.


---

## Body

## 1. Introduction

Petri nets (PNs) [1] are a process modeling technique applied to the simulation and analysis of distributed systems, and PNs are also an effective description and analysis tool for many fields. With the continuous development of PN theory and the increasing popularity of its application, some of their extensions have been defined, such as colored [2], time [3], fuzzy [4], and stochastic PNs [5]. Logic Petri nets [6–8] are the abstract and extension of high-level PNs and have been applied efficiently to the modeling and analysis of Web services, cooperative systems, and electronic commerce. Transitions restricted by logic expressions are called logic transitions. The inputs and outputs can be described by logic transitions in LPNs. Based on LPNs, the definition of LPWNs is proposed in this paper. An LPWN is logic Petri net with a dedicated source place where the process starts and a dedicated sink place where the process ends. Moreover, all nodes are on at least a path from source to sink.Larger online shops produce a great quantity of transaction records every day. How to find valuable information in these records is a meaningful task. These records are called event logs in process mining, which are the starting point of process mining [9, 10]. When modeling business processes in terms of Petri nets, a subclass of Petri nets known as Workflow nets is considered [11–14]. WF-nets are also a natural representation for process mining. Process mining [15, 16] is a young cross field and crosses the computational intelligence and data mining field to the modeling process and analysis area. Process mining is regarded as an important bridge between modeling and analysis of data mining and business process [17–19]. LPWNs and WF-nets are evolutions of PNs. The LPWN will be introduced into process mining in our later work, so the equivalency between LPWNs and WF-nets is firstly proved by an online shop model in this paper. Compared with WF-nets, LPWNs can well describe and analyze batch processing functions and passing value indeterminacy in cooperative systems and effectively alleviate the state space explosion problem to an extent.The rest of this paper is organized as follows. Section2 reviews definitions of PNs, WF-nets, and LPNs, and the standard forms of logic expressions and LPWNs are put forward. A simple LPWN model is given to explain how the LPWN works. In order to prove the equivalence between LPWNs and WF-nets, isomorphism and equivalent definitions are proposed in Section 3. Theorem 8 has been proved on the basis of isomorphism and equivalent definitions, and the constructing algorithm of an equivalent WF-net from an LPWN is presented. In Section 4, Theorem 8 and the algorithm are illustrated by an online shop model. Concluding remarks are made in Section 4.


## 2. Logic Petri Workflow Nets

This section introduces some basic definitions about PNs, LPNs, and WF-nets.Definition 1 (see [8]).
PN
=
(
P
,
T
;
F
,
M
) is a marked PN, where(1)
N
=
(
P
,
T
;
F
) is a net;
(2)
M
:
P
→
N is a marking function, where M
0 is the initial marking and N
→
0,1
,
2
,
…;
(3)
transition firing rules are as follows:
(a)
t is enabled at M if for all p
∈
t
•
:
M
p
=
1, represented by M
[
t
>;
(b)
ift is enabled, it can fire, and a new marking M
′ is generated from M, represented by M
[
t
>
M
′, where
(1)
M
′
p
=
M
p
+
1
,
if
p
∈
t
•
-
t
•
M
p
-
1
,
if
p
∈
t
•
-
t
•
M
p
,
else
.Definition 2 (see [8]).
LetPN
=
(
P
,
T
;
F
,
M
0
) be a Petri net and t
# a fresh identifier not in P
∪
T. The PN is a workflow net (WF-net) if and only if (a)
P contains an input place i (also called source place) such that i
•
=
⌀;
(b)
P contains an output place o (also called sink place) such that o
•
=
⌀;
(c)
P
N
#
=
(
P
,
T
∪
{
t
#
}
,
F
∪
{
(
o
,
t
#
)
,
(
t
#
,
i
)
}
) is strongly connected.
There is a directed path between any pair of nodes in PN.Definition 3 (see [8]).
LPN
=
(
P
,
T
;
F
,
I
,
O
,
M
) is a logic Petri net where(1)
P is a finite set of places;
(2)
T
=
T
D
∪
T
I
∪
T
O is a finite set of transitions, P
∪
T
≠
⌀, P
∩
T
=
⌀, for all t
∈
T
I
∪
T
O
:
t
•
∩
t
•
=
⌀, where
(a)
T
D denotes a set of traditional transitions;
(b)
T
I denotes a set of logic input transitions, where, for all t
∈
T
I, the input places of t are restricted by a logic input expression f
I
(
t
);
(c)
T
O denotes a set of logic output transitions, where, for all t
∈
T
O, the output places of t are restricted by a logic output expression f
O
(
t
);
(3)
F
⊆
(
P
×
T
)
∪
(
T
×
P
) is a finite set of directed arcs;
(4)
I is a mapping from a logic input transition to a logic input expression; that is
(2)
∀
t
∈
T
I
,
I
t
f
I
t
=
A
1
∨
A
2
∨
⋯
∨
A
m
;
(5)
O is a mapping from a logic output transition to a logic input expression; that is
(3)
∀
t
∈
T
O
,
O
t
f
O
t
=
B
1
∨
B
2
∨
⋯
∨
B
n
;
(6)
M
:
P
→
0
,
1 is a marking function, where, for all p
∈
P, M
(
p
) is the number of tokens in p;
(7)
Transition firing rules are as follows:
(a)
for allt
∈
T
D, the firing rules of t are the same as in PNs;
(b)
for allt
∈
T
I, t is enabled only if ∃
A
i; make f
I
t
M
=
T
•
T
•, M
[
t
>
M
′, where, for all p
∈
t
• and p
∈
A
i, M
′
(
p
)
=
M
(
p
)
-
1; for all p
∈
t
• and p
∉
A
i, M
′
(
p
)
=
M
(
p
); for all p
∈
t
•, M
′
(
p
)
=
M
(
p
)
+
1; and, for all p
∉
t
•
∪
t
•, M
′
(
p
)
=
M
(
p
);
(c)
for allt
∈
T
O, t is enabled only if for all p
∈
t
•
:
M
(
p
)
=
1. M
[
t
>
M
′, where for all p
∈
t
•
:
M
′
p
=
M
(
p
)
-
1; for all p
∉
t
•
∪
t
•
:
M
′
(
p
)
=
M
(
p
); for all p
∈
t
• and p
∈
B
i should satisfy f
O
t
M
′
=
T
•
T
•; and for all p
∈
t
• and p
∉
B
i, M
′
(
p
)
=
M
(
p
).LPNs are the abstract and extension of IPNs and high-level PNs. In Definition3, a logic input/output transition is restricted by the logic input/output expression f
I
(
t
)
/
f
O
(
t
) in LPNs. All logic input/output transitions are called logic transitions. The logic expressions can describe the indeterminacy of values in input and output places. A
i and B
i represent input and output ways of logic transitions, respectively. They are not the disjunctive normal of f
I
(
t
)
/
f
O
(
t
).Definition 4.
Suppose that a logic input/output transitiont is restricted by f
I
(
t
)
/
f
O
(
t
), and the standard form is as follows.
For a logic input transitiont, the standard form of f
I
(
t
)
=
A
1
∨
A
2
∨
⋯
∨
A
m can be obtained by
(4)
A
i
=
A
i
,
if
A
i
=
t
•
A
i
∧
¬
p
,
if
A
i
≠
t
•
,
∃
p
∈
t
•
.
For a logic input transitiont, the standard form of f
O
(
t
)
=
B
1
∨
B
2
∨
⋯
∨
B
n can be obtained by
(5)
B
i
=
B
i
,
if
B
i
=
t
•
B
i
∧
¬
p
,
if
B
i
≠
t
•
,
∃
p
∈
t
•
.
This definition puts forward the standard form of logic expression.A
i and B
i are called the standard minterms.Definition 5.
LetLPN
=
(
P
,
T
;
F
,
I
,
O
,
M
) be a logic Petri net, and the LPN is a logic Petri workflow net (LPWN) if and only if(a)
LPN hasP
=
P
C
∪
P
D, where P
C
/
P
D are control/data place sets;
(b)
there is a source placei
∈
P
C such that i
•
=
⌀; there is a sink place o
∈
P
C such that o
•
=
⌀;
(c)
there is a directed path between the source place and sink place.From Definitions 3 and 5, the LPWNs and WF-nets have the same kind of starting place with a token and an ending place.Figure1 shows a simple LPWN model. t
2, t
4, and t
5 are three traditional transitions. t
1 restricted by f
O is a logic output transition; f
O
(
t
1
)
=
B
1
∨
B
2, where B
1
=
p
1, B
2
=
p
2; t
3 restricted by f
I is a logic input transition; f
I
(
t
3
)
=
A
1
∨
A
2, where A
1
=
p
1
∧
p
3, A
2
=
p
1
∧
p
4.Figure 1
An LPWN modelN
1.From Definition4, standard forms of f
O
(
t
1
) and f
I
(
t
3
) are f
O
(
t
1
)
=
(
p
1
∧
¬
p
2
)
∨
(
¬
p
1
∧
p
2
) and f
I
(
t
3
)
=
(
p
1
∧
¬
p
3
∧
p
4
)
∨
(
p
1
∧
p
3
∧
¬
p
4
), respectively. Note that each place of a logic expression has a logic value at marking M in an LPWN, and, by substituting the values of all places into the logic expression, the expression corresponds to a logic value.In the LPWN model of Figure1, M
=
(
1
,
0
,
0
,
1
,
0
,
0
,
0
), O
=
{
p
1
,
p
2
}, and I
=
{
p
1
,
p
3
,
p
4
}. For the source place i having a token, the transition t
1 can fire. Suppose that t
1 fires, p
1 has a token, and M
[
t
1
>
M
′. From Definition 3, M
′
=
(
0
,
1
,
0
,
1
,
0
,
0
,
0
), having p
1
M
′
=
T
•
T
•, p
3
M
′
=
T
•
T
•, p
4
M
′
=
T
•
F
•, and f
I
M
′
=
(
T
•
T
•
∧
T
•
F
•
∧
T
•
F
•
)
∨
(
T
•
T
•
∧
T
•
T
•
∧
T
•
T
•
)
=
T
•
F
•
∨
T
•
T
•
=
T
•
T
•. The logic expression f
I is satisfied, t
3 is enabled, and M
′
[
t
>
M
′
′. From condition (b) of Definition 3, M
′
′
=
(
0
,
0
,
0
,
0
,
0
,
1
,
0
).


## 3. Transforming an LPWN into an Equivalent WF-Net

This section puts forward isomorphism and equivalent definitions to prove the equivalence between LPWNs and WF-nets.Definition 6.
LetΣ
1
=
(
P
,
T
;
F
,
I
,
O
,
M
) be an LPWN and Σ
2
=
(
P
′
,
T
′
;
F
′
,
M
′
) a WF-net. RG
(
Σ
i
) is the reachable tree of Σ
i, and R
(
Σ
i
) is the node set of RG
(
Σ
i
),  i
=
1,2. If there exists a bijective function f
:
R
(
Σ
1
)
→
R
(
Σ
2
), such that, for all M
1, M
2
∈
R
(
Σ
1
), t
∈
T, M
1
[
t
>
M
2
,
⇒
∃
t
′
∈
T
′, f
(
M
1
)
[
t
′
>
f
(
M
2
). Then, RG
(
Σ
1
) and RG
(
Σ
2
) are isomorphic.Definition 7.
LetΣ
1
=
(
P
,
T
;
F
,
I
,
O
,
M
) be an LPWN and Σ
2
=
(
P
′
,
T
′
;
F
′
,
I
′
,
M
′
) a WF-net. Σ
1 and Σ
2 are equivalent if and only if RG(Σ
1) and RG(Σ
2) are isomorphic.Based on Definitions6 and 7, a theorem is given.Theorem 8.
For any LPWN, there exists an equivalent WF-net.Proof.
Consider the following.
Step 1. Constructing an equivalent WF-net is as follows.
LetΣ
1
=
(
P
,
T
;
F
,
I
,
O
,
M
0
) be an LPWN, and the deterministic WF-net Σ
2
=
(
P
′
,
T
′
;
F
′
,
M
′
) being equivalent to Σ
1 should be constructed at the very start.
For allt
∈
T, there are three conditions to transform a transition of Σ
1 into one or more corresponding transitions Σ
2.
Step 1.1. For t
i
∈
T
D, let t
i
∈
T
′; for all p
∈
P, if (
p
,
t
i
)
∈
F, then (
p
,
t
i
)
∈
F
′; and if (
t
i
,
p
)
∈
F, then (
t
i
,
p
)
∈
F
′.
Step 1.2. For t
i
∈
T
I, let t
•
i
=
{
p
i
1
,
p
i
2
,
…
,
p
i
k
}; f
I
(
t
i
)
=
A
i
1
∨
A
i
2
∨
⋯
∨
A
i
m; t
i is restricted by the standard logic input expression f
I
(
t
i
). There are m standard minterms of f
I
(
t
i
), and each minterm corresponds to a transition of Σ
2. That is, the logic input transition t
i in Σ
1 can be represented equivalently by a set including m traditional transitions in Σ
2. The set is constructed in detail as follows.
For any standard mintermA
i
j, where j
∈
1,2
,
…
,
m, assume that A
i
j corresponds to the transition t
i
j in Σ
2; that is, t
i
j
∈
T
′. Then, the arc set related to t
i
j is defined. For all p
i
l
∈
t
•
i, where l
∈
1,2
,
…
,
k, if p
i
l in A
i
j is T
•
T
•, we have (
p
i
l
,
t
i
j
)
∈
F
′; for all p
∈
t
i
•, we have (
t
i
,
p
i
l
)
∈
F
′, where l
∈
{
1,2
,
…
,
k
}.
Step 1.3. For t
i
∈
T
O, let t
i
•
=
{
p
i
1
,
p
i
2
,
…
,
p
i
k
}; f
O
(
t
i
)
=
B
i
1
∨
B
i
2
∨
⋯
∨
B
i
n; t
i is restricted by the standard logic output expression f
O
(
t
i
). There are n standard minterms of f
O
(
t
i
), and each minterm corresponds to a transition of Σ
2. That is, the logic output transition t
i in Σ
1 can be represented equivalently by a set including n traditional transitions in Σ
2. The set is constructed in detail as follows.
For any standard mintermB
i
j, where j
∈
1,2
,
…
,
n, assume that B
i
j corresponds to the transition t
i
j in Σ
2; that is, t
i
j
∈
T
′. Then, the arc set related to t
i
j is defined. For all p
i
l
∈
t
i
•, where l
∈
1,2
,
…
,
k, if p
i
l in B
i
j is T
•
T
•, we have (
t
i
j
,
p
i
l
)
∈
F
′; for all p
∈
t
i
•, we have (
p
,
t
i
j
)
∈
F
′, where j
∈
1,2
,
…
,
n.
Step 2. Proof that the constructing WF-net Σ
2 is equal to Σ
1.
Based on Step 1, the place setP and the initial marking M
0 in Σ
1 are the same as those in Σ
2; that is, P
=
P
′, M
0
=
M
′, but the transition set T and the flow set F are not; that is, T
≠
T
′, F
≠
F
′, and T
≤
|
T
′
|, F
≤
|
F
′
|, where T denotes the size of set T. Firing a transition of Σ
1 corresponds to firing a transition of Σ
2; that is, if a transition is enabled in Σ
1, then there must be an enabled transition in Σ
2 and it is unique. Since Σ
1 and Σ
2 have the same initial marking, the equivalence between Σ
1 and Σ
2 is proved on the basis of the reachable marking graph.
InΣ
1, for all M
1
,
M
2
∈
R
(
Σ
1
), t
i
∈
T; if M
1
[
t
i
>
M
2, then there is a mapping function f
:
R
Σ
1
→
R
Σ
2 based on Step 1; we have f
(
M
1
)
=
M
1 and f
(
M
2
)
=
M
2. In Σ
2, if t
i
∈
T
D, then ∃
t
i
′
∈
T
′: t
i
′
=
t
i and f
(
M
1
)
[
t
i
′
>
f
(
M
2
); if t
∈
T
I
∪
T
O, then ∃
t
i
j
′
∈
T
′; we have f
M
1
[
t
i
j
′
>
f
M
2.f is an identity mapping and satisfies injective and surjection requirements at M
∈
R
(
M
0
). That is, Σ
1 and Σ
2 have the same behavior characteristics. Moreover, the structure of Σ
2 is unique since its standard form is only one. So f is a bijective function, and RG(Σ
1) and RG(Σ
2) are isomorphic. Based on Definition 7, Σ
1 and Σ
2 are equivalent.Based on Theorem8 and the construction of Σ
2, the construction algorithm of an equivalent WF-net from an LPWN can be obtained.In Algorithm1, the equivalent WF-net has the same place set and traditional transitions compared with its corresponding LPWN. Their differences are the logic transitions and flows. Next, an example is used to prove the correctness and appropriateness of Theorem 8 and Algorithm 1.Algorithm 1:Transforming an LPWN into an equivalent WF-net.
Input: an LPWN Σ1 = (P, T; F, I, O, M
0)
Output: an equivalent WF-net Σ2 = (P
′, T
′; F
′, M
′)
(1) WF-net.P
′ = LPWN.P;
(2) WF-net.M
′ = LPWN.M
0
(3) For each transitiont
i in LPWN.T
D
(4)    WF-net.T
′ = WF-net.T
′  ∪  {
t
i
};
(5)    For eachp in •
t
i
(6)    WF-net.F
′ = WF-net.F
′  ∪  {(p, t
i)};
(7)    End for
(8)    For eachp in t
i
•
(9)    WF-net.F
′ = WF-net.F
′  ∪  {(t
i, p)};
(10)    End for
(11) For eacht
i in LPWN.T
I
(12) For each A
i
j in the standard form ∨
j
=
1
m
A
i
j of f
I
(
t
i
)
(13)     WF-net.T
′ = WF-net.T
′  ∪  {
t
i
1
,
…
,
t
i
m
};
(14)     For eachp in A
i
j
(15) If p = •
T
• then WF-net.F
′ = WF-net.F
′  ∪  {(p, t
i
j)};
(16)     End for
(17)     For eachp in t
i
•
(18) WF-net.F
′ = WF-net.F
′  ∪  {(t
i, p)};
(19)     End for
(20) End for
(21) End for
(22) For eacht
i in LPWN.T
O
(23) For each B
i
j in the standard form ∨
j
=
1
n
B
i
j of f
O
(
t
i
)
(24)     WF-net.T
′ = WF-net.T
′  ∪  {
t
i
1
,
…
,
t
i
n
};
(25)     For eachp in B
i
j
(26) If p = •
T
• then WF-net.F
′ = WF-net.F
′  ∪  {(t
i, p)};
(27)     End for
(28)     For eachp in •
t
i
(29) WF-net.F
′ = WF-net.F
′  ∪  {(p, t
i)};
(30)     End for
(31) End for
(32) End for


## 4. A Case

In this section, the work processes of an online shop in electronic commerce shown in Figure2 are modeled by the LPWN, and the validity and usefulness of the presented method are illustrated based on the analysis of the model. Functions of the online shop are modeled by transitions. For example, the transition receive_order represents that the shop owner will get an order from the client, and it is limited by the logic expression f
I(receive_order). Based on Definition 4, all logic transitions and their standard items are shown in Table 1.Table 1
Logic expressions of all transitions and their standard items.
Transitions
Logic expressions
Standard items
receive_order
f
I(receive_order) = A
1
1
∨
A
12
∨
A
1
3
A
1
1
=
p
1
∧
order_1
∧
¬
order_2
A
1
2
=
p
1
∧
order_1
∧
order_2
A
1
3
=
p
1
∧
¬
order_1
∧
order_2
send_to_express
f
O(send_to_express) = B
1
1
∨
B
1
2
∨
B
1
3
B
1
1
=
p
3
∧
¬
p
4
B
1
2
=
p
3
∧
p
4
B
1
3
=
¬
p
3
∧
p
4
confirm_goods
f
O(confirm_refuses) = B
31
∨
B
32
∨
B
33
B
3
1
=
p
6
∧
good_1
∧
¬
good_2
B
3
2
=
p
6
∧
good_1
∧
good_2
B
33
=
p
5
∧
¬
good_1
∧
good_2
confirm_refuses
f
O(confirm_goods) = B
21
∨
B
22
∨
B
23
B
2
1
=
p
5
∧
refuse_1
∧
¬
refuse_2
B
22
=
p
5
∧
refuse_1
∧
refuse_2
B
23
=
p
5
∧
¬
refuse_1
∧
refuse_2
send_money
f
O(send_money) = B
4
1
∨
B
42
∨
B
43
B
41
=
p
7
∧
money_1
∧
¬
money_2
B
42
=
p
7
∧
money_1
∧
money_2
B
43
=
p
7
∧
¬
money_1
∧
money_2
receive_payment
f
I(receive_payment) = A
21
∨
A
22
∨
A
23
A
21
=
p
7
∧
pay_1
∧
¬
pay_2
A
22
=
p
7
∧
pay_1
∧
pay_2
A
12
=
p
7
∧
¬
pay_1
∧
pay_2Figure 2
An online shop is modeled by the LPWNN
1.Next, the LPWNN
1 shown in Figure 2 will be transformed into its equivalent WF-net.In Figure2, the logic input transition receive_order can be transformed into three traditional transitions as follows.The receive_order is a logic input transition restricted byf
I
(
receive
_
order
)
=
A
1
1
∨
A
12
∨
A
13, where A
1
1
=
p
1
∧
order
_
1
∧
¬
order
_
2, A
1
2
=
p
1
∧
order
_
1
∧
order
_
2, and A
13
=
p
1
∧
¬
order
_
1
∧
order
_
2. The receive_order has three ways to transform tokens. For example, (
p
1
∧
order
_
1
∧
¬
order
_
2
) represents p
1 and order_1 loses a token and order_2 does not lose a token after the receive_order fires. From Algorithm 1, in the equivalent WF-net, the transition receive_order can be transformed into r
o
1, r
o
2, and r
o
3, and they are three traditional transitions. Flows (p
1, receive_order), (order_1, receive_order), and (order_2, receive_order) are transformed into seven flows (p
1, r
o
1), (p
1, r
o
2), (p
1, r
o
3), (order_1, r
o
1), (order_1, r
o
3), (order_2, r
o
2), and (order_2, r
o
3). The flow (receive_order, p
2) is transformed into three flows (
r
o
1
,
p
2
), (
r
o
2
,
p
2
), and (
r
o
3
,
p
2
). The input transition receive_payment can also be transformed by this method.In Figure2, the logic input transition send_to_express can be transformed into traditional transitions shown in Figure 3 as follows.Figure 3
The LPWNN
1 is transformed into its equivalent WF-net.The send_to_express is a logic output transition restricted byf
O
(
send
_
to
_
express
)
=
B
11
∨
B
1
2
∨
B
13, where B
1
1
=
p
3
∧
¬
p
4, B
1
2
=
p
3
∧
p
4, and B
13
=
¬
p
3
∧
p
4. The send_to_express has three ways to transform tokens. For example, (
p
3
∧
¬
p
4
) represents that p
3 gets a token and p
4 does not get a token after the send_to_express fires. From Algorithm 1, in the equivalent WF-net, the logic output transition send_to_express can be transformed into ste1, ste2, and ste3, and they are three traditional transitions. Flows (send_to_express, p
3), (send_to_express, p
4) are transformed into four flows (ste1, p
3), (ste3, p
3), (ste3, p
4), and (ste2, p
4). The flow (p
2, send_to_express) is transformed into three flows (p
2, ste1), (p
2, ste2), and (p
2, ste3). Other output transitions confirm_refuses, confirm_goods, and send_money can be transformed by this method.In Figure2, t
1, t
2, and t
3 are three traditional transitions, and places, transitions, and flows related to them do not change. Based on the above method, the equivalent WF-net can be obtained in Figure 3.From Figures2 and 3, the WF-net consists of 21 transitions and 58 flows while its equivalent LPWN model has 9 transitions and 30 flows, and the number of their places is the same. The rates of transitions and flows descending from its WF-net to its LPWN in the example are 42.86% and 51.72%, respectively. There is a conclusion that LPWNs and WF-nets are equal to modeling, and LPWNs compared with WF-nets can alleviate the state space explosion problem.


## 5. Conclusions

Based on the definition of LPNs, LPWNs are proposed in this paper. An LPWN is logic Petri net with a dedicated source place where the process starts and a dedicated sink place where the process ends. Moreover, all nodes are on a path from source to sink. Theorem8 has been proved, and Algorithm 1 used to construct an equivalent WF-net from an LPWN is put forward. Effectiveness and practicality of the proposed algorithm have been exemplified by the online shop model.In further work, the fundamental properties of LPWNs will be investigated according to the results proposed in this paper, such as state equivalency, liveness, and reachability. The LPWN will be applied efficiently to progress mining.



---

*Source: 121492-2015-03-03.xml*