Introduction - If you have any usage issues, please Google them yourself
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.