Logic Petri nets (LPN) can describe and analyze batch
processing function and passing value indeterminacy in cooperative systems
and its practical applications are shown with some nontrivial examples.
This study focuses on the analysis of the modeling power of LPNs and the
equivalency between LPNs and Petri nets with inhibitor arcs (IPN). The
equivalency is proved formally and a constructing algorithm of equivalent
IPNs from LPNs is proposed based on the disjunctive normal forms of logic
input/output expressions. Moreover, the size of an LPN model is smaller
than that of the equivalent IPN model.