Analysis of structure properties of petri nets using transition vectors

被引:0
|
作者
Department of Computer Science, Harbin Institute of Technology, Shenzhen Graduate School, 518055, China [1 ]
机构
来源
Inf. Technol. J. | 2008年 / 2卷 / 285-291期
关键词
Transition vectors - Transitive matrix;
D O I
10.3923/itj.2008.285.291
中图分类号
学科分类号
摘要
This study introduces transition vectors based on place transitive matrix derived from graph theory, to study the structure of Petri nets using structure theoretical results that exists in Petri net theory. It has been established that transition vectors provide a simplified and more adequate approach than transitive matrix towards the structural analysis of PN. Some structural classes of Petri nets have been decided and basic concepts about the structure of Petri net have been derived through novel idea of transition vectors. Firstly new representation of place transitive matrix has been introduced for acyclic Petri nets. Secondly Petri net structure has been analyzed and an algorithm to find a directed cycle has been presented with a simplified representation, using transition vectors. Thirdly transition vectors have efficiently been used to identify the particular structures of Petri nets. Finally, useful concepts relevant to the structure of Petri nets have been derived. © 2008 Asian Network for Scientific Information.
引用
收藏
相关论文
共 50 条
  • [1] Analysis of Petri Nets and Transition Systems
    Best, Eike
    Schlachter, Uli
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (189): : 53 - 67
  • [2] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS
    MURATA, T
    PROCEEDINGS OF THE IEEE, 1989, 77 (04) : 541 - 580
  • [3] SAFETY ANALYSIS USING PETRI NETS
    LEVESON, NG
    STOLZY, JL
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (03) : 386 - 397
  • [4] PERFORMANCE ANALYSIS USING PETRI NETS
    DESROCHERS, AA
    JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 1992, 6 (01) : 65 - 79
  • [5] Using Petri Nets to model the web structure
    Yang, Shih-Yang
    Chen, Po-Zung
    Sun, Chu-Hao
    SACI 2007: 4TH INTERNATIONAL SYMPOSIUM ON APPLIED COMPUTATIONAL INTELLIGENCE AND INFORMATICS, PROCEEDINGS, 2007, : 231 - +
  • [6] On the analysis of some structural properties of Petri nets
    Bouyekhf, R
    El Moudni, A
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2005, 35 (06): : 784 - 794
  • [7] Analysis of the communication structure of Occam2 programs using Petri nets
    Johnen, C.
    Mourlin, F.
    International Conference on Applications of Transputers, 1992, 26
  • [8] REACHABILITY ANALYSIS OF PETRI NETS USING SYMMETRIES
    STARKE, PH
    SYSTEMS ANALYSIS MODELLING SIMULATION, 1991, 8 (4-5): : 293 - 303
  • [9] IoT analysis of manufacturing using Petri Nets
    Ciortea, E. M.
    MODTECH INTERNATIONAL CONFERENCE - MODERN TECHNOLOGIES IN INDUSTRIAL ENGINEERING VI (MODTECH 2018), 2018, 400
  • [10] Performance analysis using coloured Petri nets
    Wells, L
    MASCOTS 2002: 10TH IEEE INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATIONS SYSTEMS, PROCEEDINGS, 2002, : 217 - 221