Logical Petri nets (LPNs) can well describe and analyze batch processing functions
and passing value indeterminacy in cooperative systems. A new definition of
the LPNs is proposed based on our initial work in this study. The standard form
of logic expressions can be obtained and the logic input/output enabling vector
set is defined. How to determine the corresponding relationships between logic
input and output expressions is solved. In order to analyze their properties,
a vector matching method is given and a therom has been proved. Finally, the
feasibility of the proposed method is illustrated by an example.