可重复向量相关论文
一个网系统可能对应着多个(无限多个)进程,这为利用进程来分析系统的行为还来了不便.为此,文[36]提出了进程表达式的概念,并对有界......
可重复向量与死锁是Petri网理论中两个非常重要的概念,在Petri网的活性、公平性的研究中起着举足轻重的作用,因此,可重复向量与死锁的......
研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法.首先定义了变迁扩充网的概念,证明......
本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一......
研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法.首先定义了变迁扩充网的概念,证明......
提出了Petri网的进程系统的概念,一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集,以各个基本进程段集的输入和输出库所......
Petri网中的弱公平但不公平的关系称为亚公平公系,由此可引伸出亚公平Petri网和亚公平网等概念.本文证明了一个重要性质:亚公平Pet......
基于有效可重复向量,可以判定一个标准Petri网产生的语言是否为正规语言,或者是否为上下文无关语言.文章提出了Petri网系统(N,M0)中......