期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

专家寄语

下载PDF

导出

摘要 Petri网是20世纪60年代由CAPetri发明的分布式系统的建模和分析工具。Petri网既有直观的图形表达方式，也有严格的数学表述方式。作为一种系统模型，Petri网不仅可以刻画系统的结构，而且可以描述系统的动态行为。

作者丁志军

机构地区中国计算机学会Petri网专业委员会同济大学计算机科学与技术系

出处《计算机科学》 CSCD 北大核心 2014年第7期F0002-F0002,共1页 Computer Science

关键词 PETRI网分布式系统专家分析工具图形表达数学表述动态行为描述系统

分类号 TP393 [自动化与计算机技术—计算机应用技术]

引文网络
相关文献

1赵安军,许战战.UML在等级保护管理信息系统中的应用[J].工业控制计算机,2014,27(5):120-121.
2胡顺仁,蒋西明,周登义.面向对象系统的回归测试研究[J].重庆工学院学报,2005,19(5):31-34. 被引量：2
3胡顺仁,王铮,邓毅.基于UML构造回归测试依赖集[J].计算机工程与应用,2003,39(5):102-104. 被引量：4
4盛家川.P2P系统中激励机制的研究[J].科技广场,2008(1):64-65. 被引量：1
5梁浩云.数学软件在数学建模中的应用[J].数学的实践与认识,2003,33(1):111-116. 被引量：8
6刘淳安.动态多目标优化进化算法研究综述[J].海南大学学报（自然科学版）,2010,28(2):176-182. 被引量：4
7张大伟,张其善.Type B非接触智能卡防冲突模型的设计与实现[J].计算机工程与应用,2003,39(26):137-139. 被引量：2
8赵阳,闻新,王浩.基于MATLAB的特征根灵敏度分析[J].工业控制计算机,2012,25(2):69-69. 被引量：2
9曹建英.P2P环境下的一种稳定信任模型[J].陇东学院学报,2011,22(2):28-31.
10张大伟,张其善.基于有限状态机的Type A卡防冲突技术[J].北京航空航天大学学报,2003,29(6):480-483.

计算机科学

2014年第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部