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 条
12345