Transition Firing Rules of Logic Petri Nets

摘要

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 expres