摘要
Petri网同步合成与共享合成是复杂系统分析中两种重要的方法。为了适应更为复杂的系统分析需要,本文将同步合成与共享合成拓展为多个Petri网之间的操作,证明了任给一个结构复杂的网系统均可由一组结构简单的子网合成,并分别给出了合成操作中子网的求解方法。
The synchronization composition and sharing composition are two important methods for the analysis of complex system in Petri net. In order to meet the nead of the more complex systems analysis, we extend the concepts of synchronization composition and sharing composition as the operation between multi-Petri nets. It is proved that any large-scale and complex Petri net can be composed by a set of structure-simple subnet systems with synchronization composition or sharing composition.
出处
《山东科技大学学报(自然科学版)》
CAS
2004年第2期61-64,共4页
Journal of Shandong University of Science and Technology(Natural Science)
基金
国家自然科学基金资助项目 (60 1 73 0 53和 60 2 740 63 )