期刊文献+

基于Petri网分解的系统范例分析

Analysis for System Examples Based on Decomposition of Petri Net
下载PDF
导出
摘要 以生产者—消费者系统和多处理机系统为例子,讨论了基于库所指标和变迁指标的两种Petri网分解方法在系统分析中的作用,分析了分解后的子系统与原系统的结构和行为方面的对应关系,为基于Petri网的复杂系统分析提供了有效的方法。 Taken production and consumption system and multi-processor system as examples,two decomposition methods of Petri net,which are based on an index function on the place set and transition set respectively,are discussed for analyzing structure-complex systems. The behavior and state relationships between the decomposed sub-systems and the original system are analyzed. The methods and results presented benefit the analysis of complex physical systems based on Petri net.
出处 《广西师范大学学报(自然科学版)》 CAS 北大核心 2008年第2期97-101,共5页 Journal of Guangxi Normal University:Natural Science Edition
基金 国家自然科学基金资助项目(60573010) 广西教育厅科研基金资助项目(200607lx151)
关键词 PETRI网 库所指标 变迁指标 Petri网分解Petri网语言 Petri net index of places index of transitions decomposition method Petri net language
  • 相关文献

参考文献10

二级参考文献41

  • 1曾庆田,吴哲辉.Petri网分解的保性条件分析[J].小型微型计算机系统,2004,25(9):1671-1675. 被引量:5
  • 2吴哲辉.Pumping引理的Petri网描述──Petri网语言属型的一组判定条件[J].计算机学报,1994,17(11):852-858. 被引量:33
  • 3蒋昌俊,闫春钢.同步合成网的进程特性研究[J].电子学报,1997,25(2):57-60. 被引量:12
  • 4蒋昌俊 吴哲辉 王成红.PN语言识别器[J].电子学报,1998,26(2):127-129.
  • 5Hyunglee K. Generalized Petri Net Reduction Method. IEEE Transaction on Systems,Man and Cybernetics, 1987 ,SMC17(2).
  • 6Suzuki I. A Method for Stepwlse Refinement and Abstraction of Petri Nets J. of Computer and System Sciences, 1983,27:51-76.
  • 7Hack M. Decidability questions for Petri nets: [ Ph. D.dissertation]. Dept. of Elect. Eng. , Massachusetts Institute of Technology,Cambridge, Massachusetts, Dec. 1975
  • 8Hack M. Petri net languages, Computation Structures Group Memo 124. Prject MAC, Massachusetts Institute of Technology,Cambridge, Massachusetts, June,1975
  • 9Garg V K, Ragunath M T. Concurrent regular expressions and their relationship to Petri nets. Theoretical Computer Science,1992,96:258~304
  • 10Hopcroft J, Ullman J. Introduction to Automata Theory Languages and Computation. Addison-Wesley,Reading,MA. 1979

共引文献51

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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