期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
第十次全国Petri网学术年会暨形式化方法学术讨论会征文通知
下载PDF
职称材料
导出
摘要
由计算机学会Petri网专业委员会主办的第十次全国Petri网学术年会暨形式化方法学术讨论会将于2005年10月在镇江召开(江苏大学承办),会议将对Petri网理论及应用以及并行处理的形式化方法开展广泛、深入的讨论。现发出征文通知。
出处
《计算机科学》
CSCD
北大核心
2005年第4期232-232,共1页
Computer Science
关键词
PETRI网
形式化方法
学术讨论会
征文通知
学术年会
2005年
专业委员会
江苏大学
并行处理
计算机
分类号
TP393 [自动化与计算机技术—计算机应用技术]
TP311.52 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
第十次全国Petri网学术年会暨形式化方法学术讨论会征文通知[J]
.系统仿真学报,2005,17(1):56-56.
2
第十次全国Petri网学术年会暨形式化方法学术讨论会征文通知[J]
.系统仿真学报,2004,16(12):2731-2731.
3
第十次全国Petri网学术年会暨形式化方法学术讨论会征文通知[J]
.工业控制计算机,2004,17(12):31-31.
4
浙大网新赞禾中标镇江市教育城域网[J]
.通信世界,2002(26):41-41.
5
古天龙.
Petri网理论及其应用[J]
.桂林电子工业学院学报,1992,12(1):37-48.
被引量:3
6
田丰,韩晓冰,卢建军.
基于Petri网的煤矿企业电子商务模型研究[J]
.微计算机信息,2009,25(18):146-147.
被引量:1
7
王泳,王广,刘东晓.
Petri网理论在PLC程序设计中的应用研究[J]
.煤矿机械,2005,26(3):13-15.
被引量:2
8
潘玥.
镇江移动助力“互联网+” 打造智慧城市新生活[J]
.江苏通信,2015,31(2):43-43.
被引量:1
9
黄志华.
两段提交协议的Petri网模型[J]
.福州大学学报(自然科学版),2003,31(6):652-655.
被引量:1
10
任国栋,施化吉,鞠时光.
基于工作流图的办公自动化系统的设计和实现[J]
.江苏大学学报(自然科学版),2002,23(4):72-75.
被引量:6
计算机科学
2005年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部