广西科学院学报2007，Vol.23Issue(4)：254-257,4.
一种嵌入式系统扩展流关系Petri网及应用
An Extended Flow Petri Net for Embedded Systems and Application
摘要
关键词
Petri网/时间自动机/CTL/UPPAAL分类
信息技术与安全科学引用本文复制引用
张辉,董荣胜,高西..一种嵌入式系统扩展流关系Petri网及应用[J].广西科学院学报,2007,23(4):254-257,4.基金项目
广西研究生教育计划项目(2007105950812M17)资助. （2007105950812M17）
