摘要:Logical Petri net s (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.