Subscribe Now Subscribe Today
Science Alert
 
Blue
   
Curve Top
Information Technology Journal
  Year: 2009 | Volume: 8 | Issue: 1 | Page No.: 95-100
DOI: 10.3923/itj.2009.95.100
 
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail

Logic Petri Nets and Equivalency

Y.Y. Du and B.Q. Guo

Abstract:
Logic Petri nets (LPN) can describe and analyze batch processing function and passing value indeterminacy in cooperative systems and its practical applications are shown with some nontrivial examples. This study focuses on the analysis of the modeling power of LPNs and the equivalency between LPNs and Petri nets with inhibitor arcs (IPN). The equivalency is proved formally and a constructing algorithm of equivalent IPNs from LPNs is proposed based on the disjunctive normal forms of logic input/output expressions. Moreover, the size of an LPN model is smaller than that of the equivalent IPN model.
PDF Fulltext XML References Citation Report Citation
 RELATED ARTICLES:
  •    Service Compositon Based on Enhanced Logic Petri Nets
  •    A Visual Management and Monitoring Tool for Cross-organization Emergency Response Workflows
  •    Invariant Decomposition Conditions for Petri Nets Based on the Index of Transitions
  •    Soundness Analysis of T-Restricted Interorganizational Logical Workflow Nets
How to cite this article:

Y.Y. Du and B.Q. Guo, 2009. Logic Petri Nets and Equivalency. Information Technology Journal, 8: 95-100.

DOI: 10.3923/itj.2009.95.100

URL: https://scialert.net/abstract/?doi=itj.2009.95.100

COMMENT ON THIS PAPER
 
 
 

 

 
 
 
 
 
 
 
 
 

 
 
 
 
 

Curve Bottom