应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽

象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了

建模与分析。-Application of π calculus, combined with Petri nets in object-oriented Petri nets and time Petri nets, embedded system software architecture abstract model of ESAM, study the dynamic evolution of the ESAM model, consistency, and deadlock. Application ESAM abstract model of the controller station signal chain modeling and analysis.