可达状态相关论文
为减少冗余日志,降低事件约束不可控对算法评估及验证的影响,提出基于可达状态的随机选择生成受控日志的方法.利用増广Petri网为系......
Petri网具有一种系统的数学建模能力,广泛地应用于具有同步、并发、冲突的离散事件系统的建模,可以用来描述较为复杂的业务过程.随......
推广了RPG游戏中的一个难题,建立了相应的数学模型,给出了完善的解决方案·深化了现行的相关结果.......
在冲突博弈过程中,能通过适当的方式获取对手的偏好认知信息对提升自身利益将起着不可估量的作用.本文依据冲突分析图模型理论,建......
针对一类大规模复杂系统，该文采用结构分解方法，将复杂网络分解为小子网，利用子网间连接的结构特点，通过递阶层次化方法降低分析的复杂......
本文基于ＤＥＳ的Ｄ－自动机模型，提出一种最优监控综合问题，然后讨论了该问题解的存在性，最后利用极小代数给出了求解该问题的方法．
In this pa......
应用Petri网建模与分析柔性制造系统，死锁预防是一个不可回避的问题。行为许 可性、结构复杂性与计算复杂性是衡量一个活性控制器......
Petri网模型是理论计算机科学包括自动机模型和形式语言理论的一个分支,具有自然、直观、简单易懂等特点。开放Petri网是Petri网的......
【正】 随着经济体制和财政金融体制改革的深入发展,投资体制也将向科学化方向发展。从我国过去投资发展的历史可以看到,把争投资......
为了提高时序电路的等价性验证速度,提出一种改进的基于寄存器匹配的验证算法.除了利用原像计算避免误判之外,该算法还将可达状态......
以固定点为数学基础．多值决策图（Multi—Valued Decision Diagrams，MDDs）为存储结构来实现系统可达状态空间建立的饱和算法在异步系统......
