微电子学与计算机
微電子學與計算機
미전자학여계산궤
MICROELECTRONICS & COMPUTER
2006年
z1期
213-214,217
,共3页
鲁志兵%胡金柱%胡燕%焦金丹%舒江波
魯誌兵%鬍金柱%鬍燕%焦金丹%舒江波
로지병%호금주%호연%초금단%서강파
自动生成%有色Petri网%建模
自動生成%有色Petri網%建模
자동생성%유색Petri망%건모
文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性.
文章探討瞭一種基于擴展有色Petri網的門戶網自動生成繫統,詳細論述瞭有色Petri網與麵嚮對象技術的融閤方式,給齣瞭麵嚮對象的擴展有色Petri網的映射規則和形式化定義,併構建瞭門戶網自動生成繫統的ECPN模型,最後利用狀態空間法和繫統在實際生產中的效率統計,證明瞭模型的可用性、高效性.
문장탐토료일충기우확전유색Petri망적문호망자동생성계통,상세논술료유색Petri망여면향대상기술적융합방식,급출료면향대상적확전유색Petri망적영사규칙화형식화정의,병구건료문호망자동생성계통적ECPN모형,최후이용상태공간법화계통재실제생산중적효솔통계,증명료모형적가용성、고효성.