文献类型：期刊文章

作　　者：郭荣佐[1,2] 郭进[1] 王霖[2,3]

机构地区：[1]西南交通大学信息科学与技术学院,成都610031 [2]成都纺织高等专科学校电子信息与电气工程系,成都611731 [3]电子科技大学计算机科学与工程学院,成都610054

出　　处：《计算机应用》

基　　金：国家自然科学基金资助项目(60673075);四川省教育厅自然科学基金资助项目(07ZB005)

年　　份：2009

卷　　号：29

期　　号：4

起止页码：1143-1146

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、ZMATH、核心刊

摘　　要：应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了建模与分析。

关 键 词：Π演算 PETRI网 嵌入式系统 软件体系结构

分 类 号：TP311.52]