10.3969/j.issn.1007-757X.2008.11.006
一种层次化的面向对象CPN模型及其应用
文章先分别介绍了Petri网和面向对象技术,提出将高级Petri网和面向对象技术相结合构成层次化的面向对象有色Petri网(HOCPN)模型.该模型综合了面向对象技术和Petri网的优势,实现了对较为复杂网络的建模,从而可以进一步地实现对复杂网络进行验证.最后,将该建模方法在铁路车站联锁软件系统中进行实际建模应用.
Petri网、面向对象、建模、铁路信号联锁
24
TN393(半导体技术)
国家自然科学基金资助项目60674004
2009-02-23(万方平台首次上网日期,不代表论文的发表时间)
共4页
16-19