Journal of Software Engineering1819-43112152-0941orgz10.3923/jse.2014.23.31DuYu YueWangJingZhangYong Feng1201481Logical 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.]]>Aziz, M.H., E.L.J. Bohez, R. Pisuchpen and M. Parnichkun,2013Polca to minimise value-added WIP.]]>Bayati, M. and A. Dideban,2012Barzegar, B., M. Mehrabanian, S. Bandegan and S. Bandegan,2011Marin, A., S. Balsamo and P.G. Harrison,2012Du, Y.Y., C.J. Jiang and M. Zhou,2009Du, Y.Y. and C.J. Jiang,2008Du, Y.Y. and C.J. Jiang,2002