Subscribe Now Subscribe Today
Science Alert
FOLLOW US:     Facebook     Twitter
Curve Top
Journal of Software Engineering
  Year: 2014 | Volume: 8 | Issue: 1 | Page No.: 23-31
DOI: 10.3923/jse.2014.23.31
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail
Transition Firing Rules of Logic Petri Nets
Yu Yue Du, Jing Wang and Yong Feng Zhang

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.
PDF Fulltext XML References Citation Report Citation
How to cite this article:

Yu Yue Du, Jing Wang and Yong Feng Zhang, 2014. Transition Firing Rules of Logic Petri Nets. Journal of Software Engineering, 8: 23-31.

DOI: 10.3923/jse.2014.23.31








Curve Bottom