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 条
  • [31] CONTROL SYNTHESIS BASED ON A GRAPH-THEORETICAL PETRI NET ANALYSIS
    SEICHE, W
    MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 563 - 575
  • [32] Petri net-based specification, analysis and synthesis of logic controllers
    Wegrzyn, A
    Wegrzyn, M
    PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, 2000, : 20 - 26
  • [33] Research on Structural Analysis for the Petri-net representing Sequential Function Chart
    Okuda, Makoto
    Nagao, Tatsuaki
    Mizuya, Tom
    Miyazawa, Iko
    2013 PROCEEDINGS OF SICE ANNUAL CONFERENCE (SICE), 2013, : 538 - 543
  • [34] A New Property of Choice-Free Petri Net Systems
    Best, Eike
    Devillers, Raymond
    Erofeev, Evgeny
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2020), 2020, 12152 : 89 - 108
  • [35] Dynamic Slicing of Time Petri Net Based on MTL Property
    Chariyathitipong, P.
    Vatanawood, W.
    IEEE ACCESS, 2022, 10 : 45207 - 45218
  • [36] Kind of bumpless transfer block system and its colored Petri net model
    Wang, Z.
    Yu, H.B.
    Gaojishu Tongxin/High Technology Letters, 2001, 11 (03):
  • [37] Petri net transformations in the Petri Net Baukasten
    Braatz, B.
    Ehrig, H.
    Urbášek, M.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2472 : 37 - 65
  • [38] METHODOLOGY OF SYNTHESIS OF THE SUPERVISORS BY USING PETRI NET
    Bosnjak, Rino
    Kezic, Danko
    Vidan, Pero
    BRODOGRADNJA, 2017, 68 (03): : 57 - 66
  • [39] Logic Petri Net Synthesis for Cooperative Systems
    Luan, Wenjing
    Qi, Liang
    Zhao, Zhongying
    Liu, Jianxin
    Du, Yuyue
    IEEE ACCESS, 2019, 7 : 161937 - 161948
  • [40] Target-oriented Petri Net Synthesis
    Best, Eike
    Devillers, Raymond
    Erofeev, Evgeny
    Wimmel, Harro
    FUNDAMENTA INFORMATICAE, 2020, 175 (1-4) : 97 - 122
12345