An Approach to Performance Equivalent Simplification and Analysis of Stochastic Petri Nets

LIN Chuang; QU Yang; ZHENG Bo; TIAN Li-qin

您当前的位置：

首页 >

文章列表页 >

An Approach to Performance Equivalent Simplification and Analysis of Stochastic Petri Nets

更新时间：2025-07-16

- An Approach to Performance Equivalent Simplification and Analysis of Stochastic Petri Nets
- Acta Electronica Sinica Vol. 30, Issue 11, Pages: 1620-1623(2002)
- 作者机构：
  
  清华大学计算机科学与技术系,北京,100084
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP302
- Published：2002
- 稿件说明：
移动端阅览
LIN Chuang, QU Yang, ZHENG Bo, et al. An Approach to Performance Equivalent Simplification and Analysis of Stochastic Petri Nets[J]. Acta Electronica Sinica, 2002, 30(11): 1620-1623.
DOI：

LIN Chuang, QU Yang, ZHENG Bo, et al. An Approach to Performance Equivalent Simplification and Analysis of Stochastic Petri Nets[J]. Acta Electronica Sinica, 2002, 30(11): 1620-1623. DOI：

摘要

随机Petri网模型是系统性能评价的有力工具

但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力.因此

在对模型进行分析之前

先对其进行适当的性能等价化简

是一种更为可行的分析方法.本文首先讨论了一类随机Petri网-基本随机Petri网(ESPN)的性能等价分析方法

这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成.作者推导出这四种基本结构的性能等价公式

并运用自底向上逐步综合替代的分层分析方法

给出这类随机Petri网模型的性能等价化简分析方法

该方法的复杂性随模型增长而线性增长

有效解决了其性能数量分析问题.然后

讨论了两种非基本结构到基本结构的转换规则

使得复杂的随机Petri网模型也可能转换为ESPN模型

从而使性能等价算法可应用于一般随机Petri网.

Abstract

Stochastic Petri Net (SPN) are a powerful modeling and analyzing tool for system performance evaluation.But the problem of state space's explosion of SPN limits its ability to analyze complex and large-scale systems.So it is more feasible to simplify SPN model on the basis of performance equivalence before analyzing it.In this paper

the authors define a class of SPN-Elementary SPN (ESPN) which is composed of four elementary subnets including sequence subnet

parallel subnet

choice subnet and iteration subnet

and propose a group of performance equivalence formulas for the four elementary subnets

as well as a method of performance equivalence simplification and analysis for ESPN with linear time complexity.In addition

two transforming rules are put forward to transform non-elementary subnets into combined elementary subnets such that the proposed algorithm can be used in analysis of more general SPN.

关键词

Keywords

references

Views

1707

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Performance Analysis of Mixed RF-UWOC Dual-Hop Transmission Systems with the DF Protocol

Arbitrary Order Extendable Markov Model for Spectrum Sharing in Cognitive Radio Ad Hoc Networks

A Performance Analysis Model for BitTorrent-Like Peer-to-Peer SystemsBased on the Notion of Emergence

Related Author

LIN Chuang

YANG Shi-qiang

LI Sai

CHEN Sheng-hai

YANG Liang

HU Yan-bin

QI Zi-sen

GUO Ying

Related Institution

Department of Computer Science and TechnologyTsinghua UniversityBeijng 100084China

State Information CenterBeijing 100045China

Department of Computer Science and Technology,Tsinghua University,Beijng

State Information Center

College of Computer Science and Electronic Engineering, Hunan University

⁰