一种层次化的面向对象CPN模型及其应用

摘要：

文章先分别介绍了Petri网和面向对象技术,提出将高级Petri网和面向对象技术相结合构成层次化的面向对象有色Petri网(HOCPN)模型.该模型综合了面向对象技术和Petri网的优势,实现了对较为复杂网络的建模,从而可以进一步地实现对复杂网络进行验证.最后,将该建模方法在铁路车站联锁软件系统中进行实际建模应用.

关键词：Petri网、面向对象、建模、铁路信号联锁

所属期刊栏目：24

分类号：TN393(半导体技术)

资助基金：国家自然科学基金资助项目60674004

在线出版日期：2009-02-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：16-19