公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难。针对消息传递模式的并行程序,在建立相......

根据矩阵理论提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法.......

研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法.首先定义了变迁扩充网的概念,证明......

工作流系统中活动之间的序关系非常有用,然而这些序关系的获取往往比较困难。讨论了运用T-不变量分解法获取序关系的可行性,并将so......

Petri网的合法变迁引发序列（Legal Firing Sequence,简称LFS）问题是Petri网可达性问题的子问题,目前已有较多的研究成果。通过反例指......

提出了一种新的归结方法-矩阵归结.结合归结原理的单文字、纯文字、分裂规则以及Petri网的T-不变量归结的思想,给出了几种矩阵归结......

With the development of large-scale complicated modern power systems, the requirement for the associatedprotection schem......