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 条
  • [21] PROTOCOL ANALYSIS USING NUMERICAL PETRI NETS
    WHEELER, GR
    WILBURHAM, MC
    BILLINGTON, J
    GILMOUR, JA
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 222 : 435 - 452
  • [22] Modeling and analysis of workflows using Petri Nets
    Adam, Nabil R.
    Atluri, Vijayalakshmi
    Huang, Wei-Kuang
    Journal of Intelligent Information Systems, 10 (02): : 131 - 158
  • [23] Using transition set sequences to partition behaviors of petri nets
    Wang, Yunhe
    Jiao, Li
    ACTA INFORMATICA, 2012, 49 (01) : 15 - 28
  • [24] Using transition set sequences to partition behaviors of petri nets
    Yunhe Wang
    Li Jiao
    Acta Informatica, 2012, 49 : 15 - 28
  • [25] STATIC ANALYSIS OF CONCURRENT PROCESSES FOR DYNAMIC PROPERTIES USING PETRI NETS.
    Herzog, Otthein
    Instrument Maintenance Management, 1979, 70 : 66 - 90
  • [26] Analysis of the Properties of the Bluetooth Baseband Connection Establishment Using Colored Petri Nets
    Elena Villapol, Maria
    COMPUTACION Y SISTEMAS, 2012, 16 (04): : 433 - 446
  • [27] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [28] A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
    Cabasino, Maria Paola
    Giua, Alessandro
    Lafortune, Stephane
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (12) : 3104 - 3117
  • [29] Schedulability Analysis of Petri Nets Based on Structural Properties
    Liu, Cong
    Kondratyev, Alex
    Watanabe, Yosinori
    Desel, Joerg
    Sangiovanni-Vincentelli, Alberto
    FUNDAMENTA INFORMATICAE, 2008, 86 (03) : 325 - 341
  • [30] Rewritable Petri nets: Rewritable place and properties analysis
    Pang, Shan-Chen
    Lin, Chuang
    Jisuanji Xuebao/Chinese Journal of Computers, 2012, 35 (10): : 2182 - 2193