Performance Analysis of Strictly Synchronized Stochastic Petri Nets
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    Strictly synchronized SPNs (stochastic Petri nets) are very popular in stochastic Petri nets made up of sub-models. Because of the problem of state space’s explosion, performance analysis of strictly synchronized SPNs has not been solved completely. Formulas that show performance equivalence of four elementary subnets, which are sequence subnet, parallel subnet, choice subnet and iteration subnet, are presented. A decomposition approach called STED (synchronous transition equivalent decomposition) is proposed in this paper and can be applied to SPNs with one or more synchronous transitions, especially such models with isomorphic sub-models.

    Reference
    Related
    Cited by
Get Citation

刘鸿,林闯,吴建平.一种紧同步随机Petri网模型的性能分析方法.软件学报,2003,14(6):1029-1036

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:September 06,2002
  • Revised:September 06,2002
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063