期刊文献+

Petri网的两类广义组合并网

Two Kinds of General Composition Union Nets for Petri Nets
下载PDF
导出
摘要 Petri网运算或组合是合成复杂系统的有效方法 ,由此提出了Petri网的两类广义组合并网 ,讨论了保持网的可重复性、相容性、有界性和守恒性的条件 。 Two general composition union nets of Petri nets are proposed in this paper.The condition for reserving structural properties of Petri net after composition is discussed.These results provide new methods for analysis of large system with Petri nets.
出处 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2001年第7期822-825,共4页 Journal of Tongji University:Natural Science
基金 山东省自然科学基金资助项目 (Y97G0 810 8)
关键词 PETRI网 广义组合并网 结构性质 可重复性 相容性 有界性 运算 组合 Petri net composition union net generalized composition union net structural property
  • 相关文献

参考文献6

二级参考文献25

  • 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页

共引文献43

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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