分层有色Petri网相关论文
协同设计过程模型为协同设计支持软件体系结构的模块化和层次化设计奠定了良好的基础.现有的协同设计过程模型只是从某个角度入手,......
利用分层有色Petri网建立物流配送模型,一方面减少了建立模型的复杂性,另一方面为模型正确性的证明提供了数据支持。对所建模型进行......
城市轨道交通CBTC联锁系统是复杂的安全苛求系统,为确保其开发的正确性和安全性,研究采用基于HCPN的CBTC联锁系统进行分层建模的方......