关键词: soc  协同验证  ip核  构件  重用  着色petri网  

2005年第02期 《工程科学与技术》

关键词: web服务组合  bpel程序依赖图  死路径语义消除  着色petri网  

2017年第06期 《信息技术与网络安全》

关键词: 着色petri网  标准元语言  产生式规则  检验与展开  

2018年第02期 《指挥与控制学报》

关键词: 着色petri网  跨组织工作流  工作流建模  合理性分析  

2013年第12期 《社会科学动态》

关键词: auv编队  任务规划  着色petri网  资源均衡  

2014年第04期 《水下无人系统学报》

关键词: 时延分析  着色petri网  武器通道  作战系统  

2011年第27期 《科技创新导报》

关键词: 铁路时间同步协议  中间人  着色petri网  安全性分析  

2019年第04期 《铁道科学与工程学报》

关键词: 航天装备体系  着色petri网  agent  逻辑性能  作战效能  

2005年第05期 《国防科技大学学报》

关键词: 着色petri网  通信装备  维修系统  模型  

2005年第03期 《空军工程大学学报》

关键词: 面向对象  着色petri网  接口定义语言  corba  uml  

2004年第03期 《兰州交通大学学报》

关键词: wbs  着色petri网  项目计划反馈  功能结构  

2018年第06期 《项目管理技术》

关键词: 赋时着色petri网  实施规则  着色petri网  建模仿真  

2005年第01期 《兵工自动化》

关键词: 下一代列控系统  虚拟闭塞技术  着色petri网  

2018年第09期 《铁路计算机应用》

关键词: 着色petri网  工作流  建模  管理系统  

2004年第07期 《计算机应用与软件》

关键词: 1553b总线  着色petri网  非周期消息  性能指标  

2018年第02期 《计算机应用与软件》

关键词: mas  agent交互  交互协议  着色petri网  信息交换  绑定  计时  

2005年第10期 《计算机应用与软件》

关键词: 着色petri网  工作流  着色跨组织工作流  合理性  

2005年第04期 《系统仿真学报》

关键词: 多种权限  操作队列  并发控制  着色petri网  过程仿真  

2019年第06期 《系统仿真学报》

关键词: 等级匹配  维修工步  着色petri网  过程仿真  

2019年第04期 《系统仿真学报》

关键词: 面向对象方法  着色petri网  仿真结果  软件  制造系统  仿真模型  开发  vms  电子产品  

2004年第23期 《计算机工程》