未找到相关数据
冻结标志——考核由PETRI网模拟的分布式系统的一种途径
被引：3
作者：
陆维明
Agathe Merceron
机构：
[1] 中国科学院数学研究所
[2] LRI
关键词：
可覆盖图;
PETRI;
并发系统;
MN;
有界网;
可覆盖树;
分布式系统;
当且仅当;
序列;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
本文考察由PETRI网模拟的并发系统.冻结标志是一种特定的标志,它在某个位置上没被使用而同时模拟并发系统的网却有一部分可以不停地运行下去.基于网的可覆盖图,我们给出一个过程寻找冻结标志.
引用
收藏
页码：194 / 200
页数：7
相关论文