论文部分内容阅读
随机Petri网模型是系统性能评价的有力工具，但其状态空间随模型规模的增长而指数性增工的问题限制了其对复杂和大规模系统模型的性能数量分析能力。因此，在对模型进行分析之前，先对其进行适当的性能等价化简，是一种更为可行的分析方法。本文首先讨论了一类随机Petri网－基本随机Petri网（ESPN）的性能等价分析方法，这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成。作者推导出这四种基本结构的性能等价公式，并运用自底向上逐步综合替代的分层分析方法，给出这类随机Petri网模型的性能等价化简