A study on the analysis method of Petri Net Models Using the Transitive Matrix

추이적 행렬을 이용한 패트리 넷 모델의 분석방법에 대한 연구

  • 송유진 (창원대학교 정보시스템 연구실/컴퓨터 공학과) ;
  • 이종근 (창원대학교 정보시스템 연구실/컴퓨터 공학과)
  • Published : 2001.03.01

Abstract

We propose a divide-conquer method of Petri nets under the condition of one-boundedness for all the Petri nets. We introduce the P-invariant transitive matrix of Petri nets and relationship between them. The feature of the P-invariant transitive matrix is that each element stands for the transitive relationship between input place and output place through the firing of the enable transition.

Keywords

References

  1. AMS DIMACS Series in Discrete Math and Theoretical Computer Science v.3 A Stubborn attack on state explosion, Computer-Aided Verification90 A. Valmari;R. P. Krushan(ed.);E. M. Clarke(ed.)
  2. Advances in Petri Nets 93 Compositional State Space Generation A. Valmary
  3. Internation. J. SCI. v.22 no.1 Computer-based reduction technique for Petri Nets B. Saha;S. Bandyopadhyay
  4. IEEE Trans. Software Eng. v.13 no.10 Interactive state-spce analysis of concurrent systems E. T. Morgan;R. R. Razouk
  5. Design and Validation of Computer Protocols G.J.Holzmann
  6. Proceedings of ETFA96 Classification of solutions of matrix equation related to parallel structure of a Petri Net I. Miyazawa;H. Tanaka;T. Sekiguchi
  7. Petri Net theory and Modeling of Systems J.L.Peterson
  8. IEEE International Conference on Systems, Man, and Cybernetics A Research on Petri Net Properties using Transitive Matirx J. Liu;Y. Itoh;I. Miyazawa;T. Sekiguchi
  9. IEEE Transactions on Systems, Man, and Cybernetics v.SMC-15 no.2 Hierarchical Reduction Method for Analysis and Decomposition of Petri Nets K. H. Lee;J. Favrel
  10. Proceedings of ETFA96 Classification of solutions of matrix equation related to parallel structure of a Petri Net I. Miyazawa;H. Tanaka;T. Sekiguchi
  11. Communication and Concurrency R. Miler
  12. Optimal simulations, nets and reachability graphs R. Janicki;M. Kounty
  13. Application and Theory of Petri Nets95(LNCS #935) Modular State Space Analysis of Colored Petri Nets S. Christensen;L. Petrucci
  14. Proc. IEEE v.77 Petri Nets: Properties, analysis and applications T. Murata
  15. Modular Verification of Petri Nets, LNCS #430 W. Damm;G. Dohmen;V. Gerstner;B. Josko
  16. PhD. Thesis, Prudue University Controlling State Explosion in Reachability Analysis W. J. Yeh
  17. IEEE Transaction on Software Engineering v.24 no.12 Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering W. J. Lee;S. D. Cha;Y. R. Kwon
  18. The Transactions of the SICE of Japan v.29 no.12 A method for analyzing Petri Net structure and adding counter-place to its incidence matrix Y. Cai;T. Sekiguchi;H. T anaka;M. Hikichi;Y. Maruyama