Research Article
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) = | | | |
|
|