文件名称:systemdesign
介绍说明－－下载内容均来自于网络，请自行研究使用
应用π演算方法,结合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.
象模型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.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
嵌入式系统软件体系结构动态建模及应用研究.pdf