HI,欢迎来到
学术之家
,发表咨询:400-888-7501 订阅咨询:400-888-7502
股权代码 102064
登录/注册
经营许可
杂志订阅
支付方式
首页
期刊
杂志
SCI
发表
出版社
0
首页
论文大全
着色petri网论文
列表
期刊分类
不限
教育
医学
经济
金融
管理
科技
工业
机械
农业
电力
水利
文学
艺术
文化
建筑
图书
档案
交通
体育
环境
政法
煤矿
地质
化工
社会
科学
化学
生物
新闻
历史
航空
理论
电子
政治
石油
计算机
期刊收录
不限
CSSCI 南大期刊
北大期刊
CSCD中国科学引文数据库
统计源期刊
知网收录
维普收录
万方收录
EI工程索引
CA化学文摘
SA科学文摘
SCI科学引文索引
JST 日本科学技术振兴机构数据库(日)
Pж(AJ) 文摘杂志(俄)
哥白尼索引(波兰)
剑桥科学文摘
国际药学文摘
国家图书馆馆藏
上海图书馆馆藏
文摘与引文数据库
文摘杂志
医学文摘
数学文摘
ASPT来源刊
农业与生物科学研究中心文摘
物理学、电技术、计算机及控制信息数据库
出版地区
不限
北京
上海
天津
江苏
浙江
河北
山西
重庆
四川
辽宁
吉林
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
内蒙古
黑龙江
针对SoC设计正确性和时间性的形式化协同验证方法
第93-98页
关键词: soc 协同验证 ip核 构件 重用 着色petri网
2005年第02期
《工程科学与技术》
死路径消除语义下的BPEL过程建模与分析
第22-25页
关键词: web服务组合 bpel程序依赖图 死路径语义消除 着色petri网
2017年第06期
《信息技术与网络安全》
SML语义检验的着色Petri网展开算法
第170-174页
关键词: 着色petri网 标准元语言 产生式规则 检验与展开
2018年第02期
《指挥与控制学报》
基于着色Petri网的跨组织工作流建模研究
第179-180页
关键词: 着色petri网 跨组织工作流 工作流建模 合理性分析
2013年第12期
《社会科学动态》
一种资源约束下的AUV编队系统动态任务规划方法
第277-281页
关键词: auv编队 任务规划 着色petri网 资源均衡
2014年第04期
《水下无人系统学报》
舰艇作战系统武器通道时延分析技术
第98-100页
关键词: 时延分析 着色petri网 武器通道 作战系统
2011年第27期
《科技创新导报》
基于着色Petri网的铁路时间同步协议建模及安全性分析
第1089-1096页
关键词: 铁路时间同步协议 中间人 着色petri网 安全性分析
2019年第04期
《铁道科学与工程学报》
面向Agent的CPN及其在航天装备体系评价中的应用
第99-102页
关键词: 航天装备体系 着色petri网 agent 逻辑性能 作战效能
2005年第05期
《国防科技大学学报》
基于着色Petri网理论的通信装备维修系统建模
第37-41页
关键词: 着色petri网 通信装备 维修系统 模型
2005年第03期
《空军工程大学学报》
基于着色Petri网分布式系统的行为建模方法
第26-29页
关键词: 面向对象 着色petri网 接口定义语言 corba uml
2004年第03期
《兰州交通大学学报》
基于WBS和Petri网的项目计划反馈模型构建
第52-56页
关键词: wbs 着色petri网 项目计划反馈 功能结构
2018年第06期
《项目管理技术》
赋时着色Petri网在建模仿真中的应用
第50-51页
关键词: 赋时着色petri网 实施规则 着色petri网 建模仿真
2005年第01期
《兵工自动化》
基于着色Petri网的下一代列控系统虚拟闭塞技术仿真分析研究
第63-70页
关键词: 下一代列控系统 虚拟闭塞技术 着色petri网
2018年第09期
《铁路计算机应用》
着色Petri网在工作流建模中的应用
第47-48页
关键词: 着色petri网 工作流 建模 管理系统
2004年第07期
《计算机应用与软件》
考虑非周期消息的1553B总线Petri网建模与分析
第310-315页
关键词: 1553b总线 着色petri网 非周期消息 性能指标
2018年第02期
《计算机应用与软件》
基于着色Petri网的多Agent交互
第142-144页
关键词: mas agent交互 交互协议 着色petri网 信息交换 绑定 计时
2005年第10期
《计算机应用与软件》
跨组织工作流模型的形式化描述及分析
第782-785页
关键词: 着色petri网 工作流 着色跨组织工作流 合理性
2005年第04期
《系统仿真学报》
基于CPN Tools的“多种权限+操作队列”并发冲突控制方法研究
第1092-1100页
关键词: 多种权限 操作队列 并发控制 着色petri网 过程仿真
2019年第06期
《系统仿真学报》
虚拟维修人员与工步等级匹配调解方法研究
第624-631页
关键词: 等级匹配 维修工步 着色petri网 过程仿真
2019年第04期
《系统仿真学报》
面向对象着色Petri网的板级电子产品拟实制造系统
第153-155页
关键词: 面向对象方法 着色petri网 仿真结果 软件 制造系统 仿真模型 开发 vms 电子产品
2004年第23期
《计算机工程》
期刊导航
基础科学
工程科技I
工程科技II
农业科技
医药卫生科技
信息科技
哲学与人文科学
社会科学I
社会科学II
经济与管理科学