摘要
Petri网的分解技术是复杂网系统分析的一种重要手段,基于库所指标的分解方法将系统分解为一组S-网。基于库所指标的分解方法来分析原网的结构性质,得到了原网对子网结构性质的保持关系,并给出了几种通过子网直接判定原网结构性质的方法,为结构复杂Petri网的性质分析提供了有效的方法。
Decomposition of Petri nets is an important approach to analyze the properties of complex net systems With the decomposition method of Petri nets by defining an index function on the place set, a net system can be decomposed into a set of S-nets. The structural property of the original net system according to decomposition approach based on the index function on the place set are addressed. The preservation of the structural property relation between the original net system and the decomposition sub net systems are obtained. Several methods to judge the structural property of original net system according to the decomposition sub net systems are presented.
出处
《计算机科学与探索》
CSCD
2009年第1期91-97,共7页
Journal of Frontiers of Computer Science and Technology
基金
国家自然科学基金
山东省中青年科学家奖励基金
山东省教育厅项目
山东省"泰山学者"专项基金~~
关键词
PETRI网
库所指标
结构性质
分解
Petri net
indexes of places
structural property
decomposition
