Logical Petri Nets with Data

A logical data petri net (LDPN), a logical data workflow net (LDWN) and a collaborative logical data workflow net (CLDWN) are represented. They are improved formal models extended with data variables, guards and the output condition expressions based on our previous models. Data variables are used to represent data. Guards are used to indicate the additional constraint related to data except for a token. The output condition expressions are used to clearly show the condition in which post places of logical output transitions get a token. A typical example of collaborative electronic commerce systems with the batch function and passing value indeterminacy is used to show the advantage of the improved models.