可达状态相关论文
Petri网具有一种系统的数学建模能力,广泛地应用于具有同步、并发、冲突的离散事件系统的建模,可以用来描述较为复杂的业务过程.随......
应用Petri网建模与分析柔性制造系统，死锁预防是一个不可回避的问题。行为许 可性、结构复杂性与计算复杂性是衡量一个活性控制器......
Petri网模型是理论计算机科学包括自动机模型和形式语言理论的一个分支,具有自然、直观、简单易懂等特点。开放Petri网是Petri网的......
通过定义Petri网变迁的指标函数，给出一种基于变迁指标的Petri网分解方法，通过分解得到子网系统均为结构简单的T-网。分析了原网系统......
为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态......
以固定点为数学基础．多值决策图（Multi—Valued Decision Diagrams，MDDs）为存储结构来实现系统可达状态空间建立的饱和算法在异步系统......
