期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
第十四届全国Petri网理论与应用学术年会征文通知
1
《计算机科学》 CSCD 北大核心 2013年第1期F0002-F0002,共1页
由中国计算机学会Petri网专业委员会主办的“第十四届全国Petri网理论与应用学术年会”(两年一届)将于2013年8月23-25日在西安召开。该会是中国Petri网理论与应用研究领域最高水准的学术盛事,会议将对Petri网理论研究、应用研究、工... 由中国计算机学会Petri网专业委员会主办的“第十四届全国Petri网理论与应用学术年会”(两年一届)将于2013年8月23-25日在西安召开。该会是中国Petri网理论与应用研究领域最高水准的学术盛事,会议将对Petri网理论研究、应用研究、工具开发、仿真技术、并发模型、形式化方法等理论与应用问题进行广泛、深入的研讨。 展开更多
关键词 PETRI网 学术年会 应用 征文通知 专业委员会 形式化方法 仿真技术 并发模型
下载PDF
第十五届全国Petri网理论与应用学术年会征文通知
2
《计算机科学》 CSCD 北大核心 2015年第2期F0002-F0002,共1页
由中国计算机学会主办的“第十五届全国Petri网理论与应用学术年会”(两年一届)将于2015年10月16日至18日在安徽省淮南市召开。该会是中国Petri网理论与应用研究领域最高水准的学术盛事,会议将对Petri网理论研究、应用研究、工具开... 由中国计算机学会主办的“第十五届全国Petri网理论与应用学术年会”(两年一届)将于2015年10月16日至18日在安徽省淮南市召开。该会是中国Petri网理论与应用研究领域最高水准的学术盛事,会议将对Petri网理论研究、应用研究、工具开发、仿真技术、并发模型、形式化方法等理论与应用问题进行广泛、深入的研讨。 展开更多
关键词 PETRI网 学术年会 应用 征文通知 十五 形式化方法 仿真技术 并发模型
下载PDF
第十次全国Petri网学术年会暨形式化方法学术讨论会征文通知
3
《系统仿真学报》 CAS CSCD 2004年第12期2731-2731,2850,2760,共3页
关键词 形式化方法 PETRI网 计算机 并行处理 中国 中国 镇江 召开 专业委员会 学术年会
下载PDF
第十二届全国Petri网理论与应用学术年会征文通知
4
《系统仿真学报》 CAS CSCD 北大核心 2008年第24期6871-6871,共1页
由中国计算机学会Petri网专业委员会主办的'第十二届全国Petri网理论与应用学术年会'(两年一届)将于2009年8月22-23日在天津召开。该会是中国Petri网研究领域最高水准的学术盛事。
关键词 学术年会 PETRI
下载PDF
专家寄语
5
作者 丁志军 《计算机科学》 CSCD 北大核心 2014年第7期F0002-F0002,共1页
Petri网是20世纪60年代由CAPetri发明的分布式系统的建模和分析工具。Petri网既有直观的图形表达方式,也有严格的数学表述方式。作为一种系统模型,Petri网不仅可以刻画系统的结构,而且可以描述系统的动态行为。
关键词 PETRI网 分布式系统 专家 分析工具 图形表达 数学表述 动态行为 描述系统
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部