Dynamic invariance of Petri net

被引：4

作者：

Jiang, CJ

机构：

[1] CHINESE ACAD SCI,INST AUTOMAT,BEIJING 100080,PEOPLES R CHINA

[2] UNIV HEFEI TECHNOL,INST INFORMAT,HEFEI 230009,PEOPLES R CHINA

[3] INST SHANDONG MIN & TECHNOL,DEPT COMP SCI,TAI AN 271019,PEOPLES R CHINA

来源：

SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES | 1997年 / 40卷 / 06期

关键词：

Petri net; systems; behavior; state; consistence;

D O I：

10.1007/BF02916845

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

The concept of Petri net dynamic invariance is defined, which depicts the invariance character of systems' composition in two aspects, i. e. behavior and state. The relationship between the behavior invariance and state invariance is discussed and the algebra rule to distinguish the invariance is derived, which provide the basis for verifying the consistence of systems' composition.

引用

页码：605 / 611

页数：7

共 9 条

[1]

CHEUNG SC, 1993, ACM SOFT ENBG NOTES, V18, P236

[2] PETRI-NET STRUCTURAL-ANALYSIS FOR SUPERVISORY CONTROL [J].

GIUA, A ;

DICESARE, F .

IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1994, 10 (02) :185-195

[3]

JIANG CJ, 1995, SCI CHINA SER A, V25, P1315

[4]

JIANG CJ, 1992, J COMPUT SCI TECHNOL, P333

[5]

LU WM, 1993, SCI CHINA, V23, P219

[6]

MURATA T, 1989, P IEEE, V77, P24

[7]

PORTINALE L, 1994, LNCS, V815, P39

[8]

Reisig Wolfgang., 2012, PETRI NETS INTRO, V4

[9]

VALMARI A, 1994, LNCS, V815, P831

← 1 →