期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

Petri网的组合并运算及性质 被引量：6

Composition Union Operations of Petri Nets and the Structural Property
在线阅读 下载PDF
导出
摘要 1 引言 Petri网作为系统模拟与分析的工具已在众多领域得到应用。通过一些较为简单的小网利用某种运算或组合而得到较为复杂的大网,且在组合过程中保持网的某些性质不变,对于合成复杂系统提供了很好的途径。文[1,2]首次提出了Petri网的加法、笛积、广义笛积运算,研究了一系列重要性质。文[3。 Composition union nets of Petri nets are proposed in this paper. Cartesian union operation and two kinds of composition union operations are discussed. The condition for reserving structural properties of Petri net after composition are given. These results provide new methods for synthesis and analysis of Petri nets.
作者 李孝忠 王文德 杜玉越
机构地区 聊城师范学院计算机科学系
出处 《计算机科学》 CSCD 北大核心 2000年第8期59-62,共4页 Computer Science
基金 山东省自然科学基金
关键词 PETRI网 组合并运算 笛并网 性质 Petri net ,Composition union net ,Cartesian union net ,Structural property
分类号 TP18 [自动化与计算机技术—控制理论与控制工程]
  • 相关文献

参考文献5

二级参考文献22

  • 1崔亚军,王君英.共享竞争择一资源Petri网的形式化设计方法[J].计算机学报,1993,16(10):730-738. 被引量：2
  • 2蒋昌俊.Petri网的广义笛积运算[J].自动化学报,1993,19(6):745-749. 被引量：23
  • 3陆维明.论活网中冻结标志的意义[J].中国科学：A辑,1988,31(7):776-784.
  • 4宋安华，计算机学报，1991年，14卷，1期，837页
  • 5吴铁军，J Comput Sci Technol，1990年，16卷，5期，408页
  • 6蒋昌俊，J Comput Sci Technol，1992年，7卷，4期，333页
  • 7王培良，东南大学学报，1995年，25卷，3A期，25页
  • 8陆维明，中国科学.A，1988年，31卷，7期，776页
  • 9李孝忠，软件学报，1998年，9卷，8期
  • 10杜玉越，西北大学学报，1997年，27卷，增刊，126页

共引文献42

同被引文献25

  • 1蒋昌俊.Petri网的广义笛积运算[J].自动化学报,1993,19(6):745-749. 被引量：23
  • 2王培良 蒋昌俊.Petri网的并运算[J].西北大学学报,1997,27:111-114.
  • 3杜玉越 李孝忠 等.一种组合Petri网的性能分析[J].西北大学学报,1997,27:126-129.
  • 4Murata T.Petri Nets: Properties, Analysis and Applications[J]. Proc of the IEEE, 1989, 77(4):541-580.
  • 5[1]Jiang Chang-jun,Wu Zhe-hui. Net operations[J]. Journal of Computer Science and Teehnology,1992,7(4):333～344.
  • 6[10]Murata T.. Petri Nets:Properties,analysis and applications[J]. Proceedings of the IEEE,1989,77(4):541～580.
  • 7Li J,Dai X,Meng Z.Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams[J].Computers & Industrial Engineering,2009,57 (4):1431-1451.
  • 8Ehrig H,Padberg J.Graph grammars and Petri net transformations[J].Lecture Notes in Comput Sci,2004,3098:496-536.
  • 9Padberg J,Gajewsky M,Ermel C.Rule-based refinement of high-level nets preserving safety properties[J].Science of Computer Programming,2001,40 (1):97 -118.
  • 10Huang H,Cheung T,Mak W M.Structure and behavior preservation by Petri-net-based refinements in system design[J].Theoretical Computer Science,2004,328 (3):245-269.

引证文献6

二级引证文献4

计算机科学
2000年 第8期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部