摘要
为了分析变迁不处于公平关系或弱公平关系时在运行中的依赖关系 ,本文提出了公平依赖和弱公平依赖的概念 .研究了伪可重复向量的性质及在判断公平依赖关系时起的作用 .给出了判断变迁处于公平依赖关系和弱公平依赖关系的充分必要条件 .
In order to analyze the dependence relations between the firing of transitions in case they are not in fair relations or weak fair relations, fair dependence relation and weak fair dependence relation are presented in this paper. The characteristics of the pseudo repetitive vectors and their effects in deciding whether two transitions are in fair dependence relation are analyzed. The necessary and sufficient conditions are also given to decide the fair dependence relations and weak fair dependence relations between two transitions.
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第7期827-829,共3页
Journal of Chinese Computer Systems
关键词
公平关系
弱公平关系
公平依赖关系
PETRI网
Fair relation
Weak fair relation
Fair dependence relation
Weak fair dependence relation
Repetitive vector
Pseudo repetitive vector