门户网自助系统的扩展有色Petri网建模与分析  

The Modeling and Analysis of an GOV-NET Auto-construction System in Extendedcolored Petri Nets

作　　者：鲁志兵[1] 胡金柱[1] 胡燕[1] 焦金丹[1] 舒江波[1] 

机构地区：[1]华中师范大学计算机科学系,湖北武汉430079

出　　处：《微电子学与计算机》2006年第z1期213-214,217,共3页Microelectronics & Computer

摘　　要：文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性。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.

关 键 词：自动生成 有色PETRI网 建模 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]