摘要
针对网络控制系统中存在多任务、多消息并发执行,容易产生死锁,研究了对1553B总线的网络控制系统中的任务和消息建立着色Petri模型,设计了任务与消息颜色集,并利用CPNtools对模型进行了分析,分析结果显示模型可以检测出系统是否死锁.
According the characteristics of the tasks and the messages transmitted in Networked Control System,the CPN model of NCS is established.The model is detecting by using the simulation facility provided by CPN tools.It indicates the model is validated.
出处
《微电子学与计算机》
CSCD
北大核心
2011年第1期31-33,37,共4页
Microelectronics & Computer