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 条
  • [31] PETRI NETS AND TRANSITION-SYSTEMS
    WINSKEL, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 560 : 420 - 420
  • [32] Continuous Petri nets and transition systems
    Droste, M
    Shortt, RM
    UNIFYING PETRI NETS: ADVANCES IN PETRI NETS, 2001, 2128 : 457 - 484
  • [33] Two subclasses of Petri nets and the analysis of their structural properties
    AmerYahia, C
    Zerhouni, N
    ElMoudni, A
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 333 - 338
  • [34] Properties of object Petri nets
    Köhler, M
    Rölke, H
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 278 - 297
  • [35] Observability properties of Petri nets
    Giua, A
    Seatzu, C
    PROCEEDINGS OF THE 39TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2000, : 2676 - 2681
  • [37] Office analysis methodology using Petri nets and playscripts
    Natl Univ of Singapore, Singapore, Singapore
    IEEE Trans Syst Man Cybern Pt A Syst Humans, 5 (572-582):
  • [38] An office analysis methodology using Petri nets and playscripts
    Ang, JSK
    Conrath, DW
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1996, 26 (05): : 572 - 582
  • [39] Availability analysis of distillery plant using petri nets
    Bahl, Ankur
    Sachdeva, Anish
    Garg, Rajiv Kumar
    INTERNATIONAL JOURNAL OF QUALITY & RELIABILITY MANAGEMENT, 2018, 35 (10) : 2373 - 2387
  • [40] Deadlock analysis of Petri nets using the transitive matrix
    Song, YJ
    Lee, JK
    SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5, 2002, : 689 - 694