摘要
Petri网的分解技术是复杂网系统分析的一种重要手段,基于变迁指标的分解方法将系统分解为一组T-网。通过获得分解子网的结构性质以及子网与原网间的性质保持关系,得到了判定原网结构性质的一些方法和结论;同时给出了判定原网系统活性的一个条件。所得结果为结构复杂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 transition set, a net system can be decomposed into a set of T-nets. The properties of original net are provided by obtaining the properties of the de- composition subnets and the property preservation between the original net and the subnets. A determination condition for the liveness of the original net system is provided. The obtained results offer an effective way for property analysis of some structurecomplex Petri nets.
出处
《计算机科学与探索》
CSCD
2010年第8期761-768,共8页
Journal of Frontiers of Computer Science and Technology
基金
国家自然科学基金No.60603090
90718011
教育部科技论文快速共享研究专项基金No.20093718110008
山东省中青年科学家奖励基金No.BS2009DX004
山东省教育厅项目No.J08LJ77
中科院计算机体系结构实验室开放基金No.ICT-ARCH200807~~
关键词
Petri网分解
变迁指标
性质分析
decomposition of Petri net
indexes of transitions
property analysis