Dynamic invariance of Petri net

CASIA OpenIR > 09年以前成果

	Dynamic invariance of Petri net
	Jiang, CJ
发表期刊	SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
	1997-12-01
卷号	40 期号:6 页码:605-611
文章类型	Article
摘要	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.
关键词	Petri Net Systems Behavior State Consistence
WOS标题词	Science & Technology ; Technology
收录类别	SCI
语种	英语
WOS研究方向	Engineering ; Materials Science
WOS类目	Engineering, Multidisciplinary ; Materials Science, Multidisciplinary
WOS记录号	WOS:A1997YK88000007
引用统计	被引频次：4[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://ir.ia.ac.cn/handle/173211/21911
专题	09年以前成果
作者单位	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
推荐引用方式 GB/T 7714	Jiang, CJ. Dynamic invariance of Petri net[J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES,1997,40(6):605-611.
APA	Jiang, CJ.(1997).Dynamic invariance of Petri net.SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES,40(6),605-611.
MLA	Jiang, CJ."Dynamic invariance of Petri net".SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES 40.6(1997):605-611.