随机Petri网的分解和压缩技术
作者:
基金项目:

本文研究得到国家自然科学基金国家“八五”攻关项目资助.


ON THE DECOMPOSITION AND AGGREGATION FOR STOCHASTIC PETRI NETS
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [1]
  • |
  • 相似文献 [20]
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    本文综述了在随机Petri网的分解和压缩技术方面的一些最近的工作,着重介绍了时间数量级分解、接近无关分解、响应时间保留压缩、流等价压缩、层次模型和分层分析与乘积形式解等技术的基本思路、方法和操作过程.本文也描述了解决系统模型状态空间爆炸问题所面临的困难和进一步的研究方向.

    Abstract:

    This is a review paper on decomposition and aggregation for stochastic Petri nets.This paper gives a brief review of the methodologies considered in the literature.These techniques include the time scale decomposition,the near-independent decomposi-tion,the response time preservation,the flow equivalent aggregation,the hierarchical modeling and the product-form solution.A few directions of research are discussed at the end of the paper to outline the open problems that still need to be solved in this area.

    参考文献
    1 Molly M K.Performance analysis using stochastic Petri nets.IEEE Trans.on Computers,1982,C-31(9):913~ 917. 2 Marsan M A,Balbo G,Conte G.A class of generalized stochastic Petri nets for the performance evaluation of mul- tiprocessor systems.ACM Trans.Computer Systems,1984,2(2):93~122. 3 Ciardo G,Blakemore A.Chirnento P F J et al.Automated generation and analysis of Markov reward models using stochastic reward nets.In:Meyer C,Plemmons eds.Linear Algebra Markov Chains, and Queueing Models.IMA Volumes in Mathematics and Its Applications,Vol.48,Springer,Heidelberg,1993. 4 Lin C, Marinescu D C.Stochastic high level Petri nets and applications.IEEE Trans.On Computers,1988,C-37 (7):815~825.Also in:Jenson K and Rozenberg G eds.High Level Petri Nets,Springer-Verlag,1991. 5 Ammar H H,Islam S M R.Timed scale decomposition of a class of generalized stochastic Petri net models.IEEE Transactions on Software Engineering,June 1989,15(6):809~820. 6 Ciardo G.Trivedi K S.A decomposition approach for stochastic reward net models.Performance Evaluation, 1993,18:37~59. 7 Tilgner M.An approach formalize structural decomposition and aggregation for stochastic reward net models. Proc.Int.Workshop on Petri Nets and Performance Models,IEEE Computer Society press,Durham,NC,1995. 252~260. 8 Ziegler P.Szczerbicka H.A structure based decomposition approach for GSPN.Proc.Int.Workshop on Petri Nets and Performance models,IEEE Computer Society Press,Durham,NC.1995.261~270. 9 Mainkar V,Trivedi K S.Fixed point iteration using stochastic reward nets.Proceedings of the Sixth International Workshop on Petri Nets and Performance Models,Durham,North Carolina, USA,October 1995.21~30. 10 Jungnitz H.Sanchez B,Silva M.Approximate throughput computation of stochastic marked graphs.Journal of Parallel and Distributed Computing,1992,15:282~295. 11 Campos J, Colom J M,Jungnitz H et al.Approximate throughput computation of stochastic marked graphs. IEEE Trans.on Software Engineering,July 1994,20(7):526~535. 12 Li Y.Woodside C M.Complete decomposition of stochastic Petri nets representing generalized service networks. IEEE Trans.On Computers,April 1995,44(4):577~592. 13 Jungntiz H,Desrochers A A.Flow equivalent nets for the performance analysis of flexible manufacturing systems.In;Proceedings of the IEEE Robotics and Automation Conference.1991.122~127. 14 林闯,吴建平,王鼎兴.随机高级Petri网的层次模型和分层性能评价.软件学报,1995年,6(增刊);59~67. 15 Buchholz P.A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis.Journal of Parallel and Distributed Computing,July 1992,15:207~224. 16 Buchholz P.Hierarchies in colored GSPNs.Application and Theory of Petri Nets 1993,LNCS 691,Proc.14th Int'l Conf.,Chicago.III.,June 1993.106~125. 17 Lazar A A,Robertazzi T G.Markovian Petri net protocols with product form solution.Performance Evaluation, 1991,12:67~77. 18 Henderson W.Taylor P G.Embedded processes in stochastic Petri nets.IEEE Trans.On Software Eng.,1991, 17(2):108~116. 19 Donateli S,Sereno M.On the product form solution for stochastic Petri nets.Proc.13th Int.Conf.of Applica- tions and Theory of Petri Nets.Sheffield,UK,(LNCS 616)1992.154~172. 20 Boucherie R J.A Characterization of independence for competing Markov chains with applications to stochastic Petri nets.IEEE Trans.on Software Eng.,1994,20(7):536~544. 21 Balbo G.On the success of stochastic Petri nets.Proceedings of the Sixth International Workshop on Petri Nets and Performance Models,Durham,North Carolina,USA,October 1995.2~9. 22 Woodside C M,Nelson J E,Petriu D C.The stochastic rendezvous network model for performance of synchronous client-server-like distributed software.IEEE Transactions on Computers, Jan.1995,44(1):20 ~34.
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

林闯.随机Petri网的分解和压缩技术.软件学报,1997,8(7):541-548

复制
分享
文章指标
  • 点击次数:3417
  • 下载次数: 4916
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 最后修改日期:1997-02-03
文章二维码
您是第19946468位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号