嵌入式联锁控制器软件体系结构动态建模研究

• 作者: 王霖 郭荣佐 黄君
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: π演算 Petri网 嵌入式系统 信号联锁 软件体系结构
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: 工程与应用
• 页码范围: 213-217
• 页数: 5页
• 分类号: TP391
• 字数: 6781字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.02.063

摘要

首先应用π演算和Petri网的相关理论,建立了嵌入式联锁控制器软件体系结构抽象模型ISAM;然后对ISAM模型的动态演化、一致性和死锁进行了深入研究;最后应用ISAM抽象模型,对嵌入式联锁控制器软件系统进行分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王霖	成都纺织高等专科学校电子信息与电气工程系	18	63	5.0	7.0
2	郭荣佐	西南交通大学信息科学与技术学院	8	36	4.0	5.0
6	黄君	四川工商职业技术学院基础教学部	3	4	2.0	2.0