摘要
给出了自主连续Petri网(ACPN)的动态性质及结构性质的定义,并对其结构性质给出了相应的判定方法。
This paper presents the definitions of dynamic properties and structural properties of ACPN, and the determining methods have been given for the structural properties, hence providing the necessary theoretical basis for analysis of the properties of ACPN.
出处
《山东矿业学院学报》
CAS
1999年第2期89-92,共4页
Journal of Shandong University of Science and Technology(Natural Science)
基金
国家自然科学基金
煤炭科学基金
关键词
自主连续
PETRI网
动态性质
结构性质
判定法
autonomous and continuous Petri net
dynamic property
structural property
unit-invariant