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