一种层次化的面向对象CPN模型及其应用OACSTPCD
Hierarchical Object-oriented Colored Petri Net Model & Its Application
文章先分别介绍了Petri网和面向对象技术,提出将高级Petri网和面向对象技术相结合构成层次化的面向对象有色Petri网(HOCPN)模型.该模型综合了面向对象技术和Petri网的优势,实现了对较为复杂网络的建模,从而可以进一步地实现对复杂网络进行验证.最后,将该建模方法在铁路车站联锁软件系统中进行实际建模应用.
王学灵;陈邦兴
同济大学电子与信息工程学院,上海,201804同济大学电子与信息工程学院,上海,201804
信息技术与安全科学
Petri网面向对象建模铁路信号联锁
《微型电脑应用》 2008 (11)
铁路信号控制安全性逻辑形式化技术的研究
16-19,4
国家自然科学基金资助项目(60674004)
评论