微型电脑应用
微型電腦應用
미형전뇌응용
MICROCOMPUTER APPLICATIONS
2008年
11期
16-19
,共4页
Petri网%面向对象%建模%铁路信号联锁
Petri網%麵嚮對象%建模%鐵路信號聯鎖
Petri망%면향대상%건모%철로신호련쇄
文章先分别介绍了Petri网和面向对象技术,提出将高级Petri网和面向对象技术相结合构成层次化的面向对象有色Petri网(HOCPN)模型.该模型综合了面向对象技术和Petri网的优势,实现了对较为复杂网络的建模,从而可以进一步地实现对复杂网络进行验证.最后,将该建模方法在铁路车站联锁软件系统中进行实际建模应用.
文章先分彆介紹瞭Petri網和麵嚮對象技術,提齣將高級Petri網和麵嚮對象技術相結閤構成層次化的麵嚮對象有色Petri網(HOCPN)模型.該模型綜閤瞭麵嚮對象技術和Petri網的優勢,實現瞭對較為複雜網絡的建模,從而可以進一步地實現對複雜網絡進行驗證.最後,將該建模方法在鐵路車站聯鎖軟件繫統中進行實際建模應用.
문장선분별개소료Petri망화면향대상기술,제출장고급Petri망화면향대상기술상결합구성층차화적면향대상유색Petri망(HOCPN)모형.해모형종합료면향대상기술화Petri망적우세,실현료대교위복잡망락적건모,종이가이진일보지실현대복잡망락진행험증.최후,장해건모방법재철로차참련쇄연건계통중진행실제건모응용.
