Description: 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.
To Search:
File list (Check if you may need any files):
嵌入式系统软件体系结构动态建模及应用研究.pdf
Download