聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 一种嵌入式系统扩展流关系Petri网及应用
出处:广西计算机学会2007年年会
摘要:为了将数据流和控制流在同一个模型中明确标识,将经典Petri网的4元组结构扩展为7元组,定义一种新的嵌入式系... 显示全部
关键词: 火车控制系统 时间自动机 嵌入式系统
会议论文 UML2.0顺序图的一种有穷自动机模型
出处:2008年全国理论计算机科学学术年会
摘要:为了在软件开发早期阶段对UML2.0顺序图模型进行分析和验证,本文给出了UML2.0顺序图的一种有穷自动机模型.... 显示全部
关键词: 顺序图 有穷自动机 时间自动机 软件开发 时间建模 建模机制
找到2条结果
`