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

Abstract:
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

URL: https://scialert.net/abstract/?doi=jse.2014.23.31

 
COMMENT ON THIS PAPER
 
 
 

 

 
 
 
 
 
 
 
 
 

 
 
 
 
 

       

       

Curve Bottom