摘要
并分解技术是解决Petri网"状态爆炸"问题的有效途径,也是近几年Petri网技术研究的主流方向。本文在已有文献的研究基础上,提出了并分解的一条动态性质,并根据状态方程进行了证明,应用实例进行了验证;这对于复杂系统的动态行为分析具有重要作用。
The union decomposition is an effective approach to resolve the problem of Petri net-- ＂station explosion＂. Also it＇s a mainstream of Petri net .Based on the last research, this thesis puts forward a dynastic property of union decomposition which is important for analysis of the complex system. It be proves with station equation and be verifies by an example.
出处
《湖南科技学院学报》
2007年第12期59-61,共3页
Journal of Hunan University of Science and Engineering
基金
湖南省教育厅资助项目(01JJY2061)
关键词
Petri网:状态爆炸
并分解
动态性质
Petri net
station explosion
union decomposition
dynastic property
