Petri网的公平依赖关系

摘要：

@@ Petri网是对系统进行模拟与分析的有效工具.公平性是Petri网的重要性质之一,体现了系统中变迁在运行时紧密的相互依赖关系.然而在许多情况下,这种依赖关系是单向的,这些变迁也不处于公平关系.因此,在对一些实际系统进行模拟和分析时,清楚各个环节之间的相互依赖关系十分重要.通过对依赖关系的分析,我们可以清楚决定各个环节运行的条件,也可以找出系统中最为关键的节点,从而解决系统瓶颈等问题.为此,本文提出并研究了公平依赖关系,它把公平关系往前推进了一步.

机标关键词：公平依赖关系、Petri Nets、相互依赖关系、系统瓶颈、公平关系、模拟与分析、运行时、公平性、节点、工具

所属期刊栏目：28

分类号：TP391(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：23-24,19