The Equivalency between Logic Petri Workflow Nets and Workflow Nets

Table 1

Logic expressions of all transitions and their standard items.

Transitions	Logic expressions	Standard items
receive_order	(receive_order) =
send_to_express	(send_to_express) =
confirm_goods	(confirm_refuses) =
confirm_refuses	(confirm_goods) =
send_money	(send_money) =
receive_payment	(receive_payment) =