摘要
通过定义 Petri 网变迁的指标函数,给出一种基于变迁指标的 Petri 网分解方法,通过分解得到子网系统均为结构简单的 T-网。分析了原网系统与子系统在结构性质和动态性质方面的对应关系,并且证明了通过子网之间的共享合成可以得到原先的网系统,这为 Petri 网用于复杂的物理系统分析提供了可靠的理论依据和技术手段。
By defining the index function of transitions, a new decomposition method for Petri net is presented, with which the decomposed sub net systems are all T-nets. The structural and behavior properties during the decomposition process are analyzed with details, and it is proved that the original system can be obtained by the communion composi tion of the decomposed subnets. The conclusions and methods will benefit modeling and analyzing the physical systems based on Petri net.
出处
《计算机科学》
CSCD
北大核心
2006年第1期144-146,163,共4页
Computer Science
基金
本课题得到国家自然科学基金(60173053和60274063)
山东省青年科学家科研奖励基金(02BS069)的资助。