Structural Property Analysis of a Kind of Petri Net Synthesis

被引：0
|
作者：
Xia, Chuanliang [1 ]
Liu, Zhendong [1 ]
Sun, Peng [1 ]
机构：
[1] Shandong Jianzhu Univ, Sch Comp Sci & Technol, Jinan, Peoples R China
来源：
ADVANCES IN CIVIL ENGINEERING, PTS 1-6 | 2011年 / 255-260卷
关键词：
Petri nets; synthesis; property analysis; structural boundedness; repetitiveness;
D O I：
10.4028/www.scientific.net/AMR.255-260.1989
中图分类号：
TU [建筑科学];
学科分类号：
0813 ;
摘要：
Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net. This paper proposes the conditions imposed on a synthesis shared a kind of subnet under which the following structural properties will be preserved: repetitiveness, consistency, structural boundedness, conservativeness, structural liveness, P-invariant and T-invariant.
引用
收藏
页码：1989 / 1993
页数：5
相关论文
共 50 条
  • [21] Structural matrices for Signed Petri net
    Payal
    Kansal, Sangita
    AKCE INTERNATIONAL JOURNAL OF GRAPHS AND COMBINATORICS, 2022, 19 (02) : 102 - 107
  • [22] A kind of Object-Oriented Petri Net and its Application
    Liu, Xin
    Yin, Guisheng
    Zhan, Ziying
    ICICSE: 2008 INTERNATIONAL CONFERENCE ON INTERNET COMPUTING IN SCIENCE AND ENGINEERING, PROCEEDINGS, 2008, : 541 - +
  • [23] Analysis of Signed Petri net
    Payal
    Kansal, Sangita
    INTERNATIONAL JOURNAL OF COMPUTING SCIENCE AND MATHEMATICS, 2023, 17 (02) : 123 - 137
  • [24] Process mining and Petri net synthesis
    Kindler, Ekkart
    Rubin, Vladimir
    Schaefer, Wilhelm
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2006, 4103 : 105 - 116
  • [25] Complexity of Distributed Petri Net Synthesis
    Devillers, Raymond
    Tredup, Ronny
    THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 15 - 28
  • [26] A kind of deadlock-free scheduling method based on Petri net
    Gang, X
    Wu, ZM
    7TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2002, : 195 - 200
  • [27] A structural characterization of diagnosable Petri Net models
    Ruiz-Beltran, E.
    Ramirez-Trevino, A.
    Lopez-Mellado, E.
    Aramburo-Lizarraga, J.
    2007 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1-3, 2007, : 910 - 915
  • [28] Modeling and analysis of collaborative maintenance process based on synthesis of Petri net
    Yang, Yuan
    Li, Fang
    Hou, Chongyuan
    Yang, Lei
    Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 2011, 37 (06): : 711 - 716
  • [29] PETRI-NET SYNTHESIS AND ANALYSIS OF A FLEXIBLE MANUFACTURING SYSTEM CELL
    ZHOU, MC
    MCDERMOTT, K
    PATEL, PA
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1993, 23 (02): : 523 - 531
  • [30] Place/Transition Petri net evolutions: Recording ways, analysis and synthesis
    Czaja, L
    FUNDAMENTA INFORMATICAE, 2002, 51 (1-2) : 43 - 58
12345