Submit Manuscript

Information Technology Journal

Year: 2009 | Volume: 8 | Issue: 1 | Page No.: 95-100
Research Article

Logic Petri Nets and Equivalency

Y.Y. Du
College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266510, China
B.Q. Guo
College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266510, China
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

Leave a Comment

Your email address will not be published. Required fields are marked *

Article Trend

Total views 4002

References

  1. Van der Aalst, W.M.P., 1998. The application of Petri nets to workflow management. J. Circ. Syst. Comput., 8: 21-66.
    CrossRefDirect Link
  2. Van der Aalst, W.M.P., 2000. Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries. Inform. Manage., 37: 67-75.
    CrossRefDirect Link
  3. Atluri, V. and H.K. Huang, 2000. A petri net based safety analysis of workflow authorization models. J. Comput. Security, 8: 209-240.
  4. Derks, W., J. Dehnert, P. Grefen and W. Jonker, 2001. Customized atomicity specification for transactional workflows. Proceedings of the 3rd International Symposium on Cooperative Database Systems for Advanced Applications, April 23-24, 2001, Beijing, China, pp: 155-164.
  5. Du, Y.Y., C.J. Jiang and M.C. Zhou, 2007. Modeling and analysis of real-time cooperative systems using petri nets. IEEE Trans. Syst. Man Cybern. Part A: Part A: Syst. Hum., 37: 643-654.
    CrossRefDirect Link
  6. Du, Y.Y. and C.J. Jiang, 2003. Towards a workflow model of real-time cooperative systems. Proceedings of the 5th International Conference on Formal Engineering Methods, November 5-7, 2003, Singapore, pp: 452-470.
    Direct Link
  7. Hao, K. and B. Wang, 2003. Non-determined Petri nets. Mini-Micro Syst., 24: 582-584 (In Chinese).
  8. Murata, T., 1989. Petri nets: Properties, analysis and applications. Proc. IEEE., 77: 541-580.
    CrossRefDirect Link
  9. Suzuki, I. and H. Lu, 1989. Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter. IEEE Trans. Comput., 38: 696-704.
  10. Wang, J.C., Y. Deng and G. Xu, 2000. Reachability analysis of real-time systems using time Petri nets. IEEE Trans. Syst. Man Cybernet B Cybernet, 30: 725-736.
    CrossRefDirect Link
  11. Du, Y.Y. and C.J. Jiang, 2002. Formal representation and analysis of batch stock trading systems by logical Petri net workflows. Proceedings of the 4th International Conference on Formal Engineering Methods, October 21-25, 2002, Shanghai, China, pp: 221-225.
    CrossRef

Keywords