Subscribe Now Subscribe Today
Science Alert
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

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
  •    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






Curve Bottom