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 条
  • [41] Petri Net Synthesis for Restricted Classes of Nets
    Schlachter, Uli
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2016, 2016, 9698 : 79 - 97
  • [42] Petri net modeling for signaling protocol synthesis
    Blaskovic, B
    MELECON '98 - 9TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1 AND 2, 1998, : 706 - 710
  • [43] Petri Net Synthesis from a Reachability Set
    Best, Eike
    Devillers, Raymond
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2024, 2024, 14628 : 223 - 243
  • [44] Petri net transformations in the "Petri Net Baukasten"
    Braatz, B
    Ehrig, H
    Urbásek, M
    PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS: ADVANCES IN PETRI NETS, 2003, 2472 : 37 - 65
  • [45] Modular Petri Net based modeling, analysis and synthesis of dedicated production systems
    Tsinarakis, GJ
    Valavanis, KP
    Tsourveloudis, NC
    2003 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-3, PROCEEDINGS, 2003, : 3559 - 3564
  • [46] Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
    Ahishakiye, Faustin
    Jarabo, Jose Ignacio Requeno
    Kristensen, Lars Michael
    Stolz, Volker
    VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 68 - 83
  • [47] Property preservation of refinement for Petri net based representation for embedded systems
    Xia, Chuanliang
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016, 19 (03): : 1373 - 1384
  • [48] Property Preservation by Petri-Net-Based Refinements in System Design
    Xia, Chuanliang
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 240 - 246
  • [49] Property analysis of synthesis of Petri nets shared PP-type subnets
    Department of Computer Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100080, China
    不详
    不详
    Ruan Jian Xue Bao, 2007, 1 (22-32):
  • [50] Dataflow Model Property Verification Using Petri net Translation Techniques
    Rocha, Jose-Inacio
    Gomes, Luis
    Dias, Octavio Pascoa
    2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2011,
12345