文件名称:systemdesign
下载
别用迅雷、360浏览器下载。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
如迅雷强制弹出，可右键点击选“另存为”。
失败请重下，重下不扣分。
介绍说明－－下载内容均来自于网络，请自行研究使用
应用π演算方法,结合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