期刊文献+

随机Petri网性能等价化简与分析方法研究 被引量:6

Study of Performance Equivalent Simplification and Analysis of Stochastic Petri Nets
下载PDF
导出
摘要 随机Petri网等价性能化简技术的研究一直是Petri网研究的主要问题之一,已有学者研究了在指数分布的假设下的随机Petri网的等价化简方法。该文研究指出关于顺序结构、选择结构和循环结构的化简结果并不依赖于指数分布,但是关于并发结构的结果依赖于指数分布。并给出了在均匀分布条件下的随机Petri网并发结构的化简技术。 Performance equiwdent simplification of the stochastic petri nets(SPN) is always one of the important problems to solve. Some scholars have studied the method of performance equivalence under the assumption of exponential distribution. This paper points out that the results of sequence subnet, choice subnet, and iteration subnet don't depend on specific distribution, and the result of parallel subnet depends on specific distrubution. It discusses in detail the simplifying parallel transition structure theory in the condition of equality distribution.
出处 《计算机工程》 EI CAS CSCD 北大核心 2006年第12期27-28,36,共3页 Computer Engineering
基金 贵州省优秀科技教育人才省长专项基金资助项目(2005368)
关键词 基本随机Petri网 性能等价 性能分析 Elementary stochastic Petri nets Performance equivalence Performance analysis
  • 相关文献

参考文献5

二级参考文献11

  • 1M K Molly.Performance analysis using stochastic Petri nets [J].IEEE Trans On C omputers,1982,C-31(9):913-917.
  • 2G Cabodi,P Camurati,S Quer.Reachability analysis of large circuits using disjunc tive partitioning and partial iterative squaring [J].Systems Architecture,2001 ,47(2):163-179.
  • 3W M Zuberek,I Rada.Modeling and analysis of distributed state space generation f or timed Petri nets [A].34-th Annual Simulation Symposium(SS-2001) [C].Stat tle,WA:The Society for Computer Simulation International(SCS),2001.93-98.
  • 4K Salimifard,M Wright.Petri net-based modelling of workflow systems:An overview [J].European Journal of Operational Research,2001,134(3):664-676.
  • 5W M P Van der Aalst,A H M ter Hofstede.Verification of workflow task structures: A Petri-net-based approach [J].Information Systems,2000,25(1):43-69.
  • 6K Inseon,P Junyeol,S Joohan.Developing adaptive buffer-level synchronization al gorithm by Petri nets for improving quality of multimedia related services [A] .2000 IEEE International Conference on Systems,Man,and Cybernetics(SMC2000) [C ].Nashville,TN:8-11 October,2000.3195-3200.
  • 7E Debes.A new Petri net based model of data transfers in the PC workstation memo ry hierarchy for MPEG encoding [A].The 2001 IEEE International Symposium on Ci rcuits and Systems(ISCAS) [C].Sydney,Australia:2001(2).221-224.
  • 8W M Zuberek.Performance evaluation using unbound timed Petri nets[A].Proc of t he Third International Workshop on Petri Nets and Performance Models [C].Kyoto,Japan:1989.180~186.
  • 9D C Marinescu,R R John.Synchronization of nonhomogeneous parallel computations [A].Parallel Proceeding for scientic Computing [C].(G.Rosrigue.ed),SIAM Publ ication,1989.362-367.
  • 10林闯.一种资源共享系统的模型和近似性能分析[J].计算机学报,1997,20(10):865-871. 被引量:21

共引文献55

同被引文献56

引证文献6

二级引证文献23

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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