Dynamic invariance of Petri net

被引：0

作者：

Changjun Jiang

机构：

[1] Chinese Academy of Sciences,Institute of Computing Technology, and Institute of Automation

[2] University of Hefei Technology,Institute of Information

[3] Institute of Shandong Mining and Technology,Department of Computer Science

来源：

Science in China Series E: Technological Sciences | 1997年 / 40卷

关键词：

Petri net; systems; behavior; state; consistence;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

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' composion.

引用

页码：605 / 611

页数：6

共 11 条

[1]

Lu W.M.(1993)C/E system's alternate characterizations Science in China (in Chinese), Ser. A 23 219-219

[2]

Murata T.(1989)Petri net: properties analysis and applications Proc. of the IEEE 77 24-24

[3]

Jiang C.J.(1992)Net operations J. of Comp. Sci. & Tech. 4 333-333

[4]

Wu Z.H.(1994)Petri net structural analysis for supervisory control IEEE Trans. RA 10 185-185

[5]

Giua A.(1994)Compositional analysis with place-bordered subnets LNCS 815 831-831

[6]

Cesare F.D.(1993)Enhancing compositional reachability analysis with context constraints ACM on Soft. Eng. Notes 18 236-236

[7]

Valmari A.(1994)Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model LNCS 815 39-39

[8]

Cheung S.C.(1995)Vector grammers and PN machines Science in China (in Chinese), Ser. A 25 1315-1315

[9]

Kramer J.(undefined)undefined undefined undefined undefined-undefined

[10]

Portinale L.(undefined)undefined undefined undefined undefined-undefined

← 1 2 →