HI,欢迎来到
学术之家
,发表咨询:400-888-7501 订阅咨询:400-888-7502
股权代码 102064
登录/注册
经营许可
杂志订阅
支付方式
首页
期刊
杂志
SCI
发表
出版社
0
首页
论文大全
时序petri网论文
列表
期刊分类
不限
教育
医学
经济
金融
管理
科技
工业
机械
农业
电力
水利
文学
艺术
文化
建筑
图书
档案
交通
体育
环境
政法
煤矿
地质
化工
社会
科学
化学
生物
新闻
历史
航空
理论
电子
政治
石油
计算机
期刊收录
不限
CSSCI 南大期刊
北大期刊
CSCD中国科学引文数据库
统计源期刊
知网收录
维普收录
万方收录
EI工程索引
CA化学文摘
SA科学文摘
SCI科学引文索引
JST 日本科学技术振兴机构数据库(日)
Pж(AJ) 文摘杂志(俄)
哥白尼索引(波兰)
剑桥科学文摘
国际药学文摘
国家图书馆馆藏
上海图书馆馆藏
文摘与引文数据库
文摘杂志
医学文摘
数学文摘
ASPT来源刊
农业与生物科学研究中心文摘
物理学、电技术、计算机及控制信息数据库
出版地区
不限
北京
上海
天津
江苏
浙江
河北
山西
重庆
四川
辽宁
吉林
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
内蒙古
黑龙江
温控系统的时序Petri网建模与验证
第24-28页
关键词: 时序petri网 模型检测 形式化建模 形式化分析
2018年第06期
《山东理工大学学报·自然科学版》
行车安全综合监控系统的时序Petri网描述及验证
第11-15页
关键词: 行车安全综合监控系统 时序petri网 正确性验证
2005年第04期
《铁道学报》
基于知识流的设计更改执行阶段过程改进
第726-736页
关键词: 知识流 设计更改执行 过程改进 信息增益 时序petri网
2017年第04期
《计算机集成制造系统》
基于时序Petri网的联锁逻辑形式建模与验证
第7-10页
关键词: 联锁逻辑 时序petri网 形式建模 时序逻辑
2007年第13期
《计算机工程与应用》
审计缓冲区的形式化模型及其验证
第98-103页
关键词: 审计 时序petri网 缓冲区 验证
2006年第05期
《计算机科学》
集成TPN-BG的铝挤压机建模方法研究
第66-69页
关键词: 集成建模 铝挤压机 时序petri网 键合图
2014年第01期
《福建工程学院学报》
基于时序Petri网的火电厂管控信息系统模型研究
第34-37页
关键词: 时序petri网 火电厂 管控信息系统
2009年第01期
《计算机与现代化》
期刊导航
基础科学
工程科技I
工程科技II
农业科技
医药卫生科技
信息科技
哲学与人文科学
社会科学I
社会科学II
经济与管理科学