征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介
中国计算机学会Petri网专业委员会和西安电子科技大学定于2008年6月在国际会议Petri Nets 2008(29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency)会议期间,联合举办“基于Petri网的协议工程及并发系统建模”学术研讨会,这是我国计算机界Petri网和并发系统领域的一项重要的学术交流活动。 此次研讨会由西安电子科技大学计算理论与技术研究所承办,于2008年6月23日至24日在陕西西安举行。本次研讨会拟采用中文,正式录用的论文会后由《计算机科学与探索》正文发表,并选出3-5篇优秀论文推荐给W&T会后文集(Joint Post-proceedings),由Springer Verlag出版,欢迎踊跃投稿。
征稿信息

重要日期

2008-05-01
初稿截稿日期

征稿范围

一、征文范围 1 .Petri网模型研究; 2 . 利用Petri网进行系统设计和验证; 3 .对Petri网的合成、结构和行为方面的分析、研究; 4 . 基于Petri网的协议建模; 5 .协议的形式化技术和方法; 6 .协议设计工具和测试工具; 7 .并发系统建模方法; 8 .协议验证、协议的一致性测试和协议性能分析; 9 .并发系统的设计、实现和应用; 10.Petri网在实时系统、嵌入式系统、因特网、电子商务等方面的应用。 二、论文要求 1 .论文要求具有自己的研究成果,
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    06月23日

    2008

    06月24日

    2008

  • 05月01日 2008

    初稿截稿日期

  • 06月24日 2008

    注册截止日期

主办单位
中国计算机学会Petri网专业委员会
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询