期刊文献+

正态分布随机Petri网的串并行结构化简 被引量:1

Reducing the Series-Parallel Structure of the Normal Generalized Stochastic Petri Nets
下载PDF
导出
摘要 基于正态分布随机Petri网的串行和并行两种基本结构的化简开展研究,推导出在正态分布广义随机Petri网中化简串行模型的等价理论公式,即合成执行时间为各个变迁的执行时间之和,仍服从正态分布,并且合成均值等于所有变迁执行时间的均值之和,合成标准偏差等于所有变迁执行时间标准偏差的方和根。还提出了并行模型的模拟仿真计算方法,分析了两个并行变迁独立不同分布时的情况,并给出了近似估算公式,在公式中,均值较大的变迁权重较大。 This paper adopts a novel approach to reduction techniques of serial and parallel connection models in the normal generalized stochastic Petri net (NGSPN). The equivalent theorems of reducing the NGSPN's serial connection model is deduced. An availability method for reducing the parallel connection model is proposed and emulated. We also present an asymptotic formula for reducing the two parallel transitions connection model under independent and non-identically distributed cases. The proposed theorems and methods are especially useful in modeling and analyzing complex and large scale systems with Petri net.
出处 《电子科技大学学报》 EI CAS CSCD 北大核心 2008年第3期424-427,共4页 Journal of University of Electronic Science and Technology of China
基金 国家自然科学基金资助项目(90407007)
关键词 正态分布广义随机Petri网 数值仿真 系统模型化简 串行并行结构 normal distribution general stochastic Petri net numerical emulation series-parallel structure system model reduction
  • 相关文献

参考文献10

二级参考文献23

  • 1陈光--,数据域测试及仪器(第2版),1994年
  • 2Liu R,IEFE Int Symp Circuits Sys,1986年,1323页
  • 3M K Molly.Performance analysis using stochastic Petri nets [J].IEEE Trans On C omputers,1982,C-31(9):913-917.
  • 4G 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.
  • 5W 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.
  • 6K Salimifard,M Wright.Petri net-based modelling of workflow systems:An overview [J].European Journal of Operational Research,2001,134(3):664-676.
  • 7W 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.
  • 8K 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.
  • 9E 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.
  • 10W 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.

共引文献38

同被引文献11

引证文献1

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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