| 门户网自助系统的扩展有色Petri网建模与分析 |
| |
| 引用本文： | 鲁志兵,胡金柱,胡燕,焦金丹,舒江波.门户网自助系统的扩展有色Petri网建模与分析[J].微电子学与计算机,2006,23(Z1):213-214. |
| |
| 作者姓名： | 鲁志兵 胡金柱 胡燕 焦金丹 舒江波 |
| |
| 作者单位： | 华中师范大学,计算机科学系,湖北,武汉,430079 |
| |
| 摘 要： | 文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性。
|
| 关 键 词： | 自动生成 有色Petri网 建模 |
| 文章编号： | 1000-7180(2006)S0-0213-02 |
| 修稿时间： | 2006年2月24日 |
The Modeling and Analysis of an GOV-NET Auto construction System in Extendedcolored Petri Nets |
| |
| LU Zhi-bing,HU Jin-zhu,HU Yan,JIAO Jin-dan,SHU Jiang-bo.The Modeling and Analysis of an GOV-NET Auto construction System in Extendedcolored Petri Nets[J].Microelectronics & Computer,2006,23(Z1):213-214. |
| |
| Authors: | LU Zhi-bing HU Jin-zhu HU Yan JIAO Jin-dan SHU Jiang-bo |
| |
| Abstract: | An GOV_net auto-construction system based on extended colored petri nets(ECPN)has been discussed in this paper. The paper firstly demonstates the syncretized mode of ECPN and Object-Orient technique, gives the mapping rule and formal definition of OO-ECPN, then constructs the ECPN model of GOV_net auto-construction system. Finally, the usability and high efficiency of this model has been verified by using state space method and the efficiency statistic in real practice. |
| |
| Keywords: | Auto-construction Colored petri net Model |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
