Traditional techniques, however, are often stymied by the state explosion problem.
组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。
For the state explosion problem .
基于通信有限状态机模型,采用系统验证的技术设计了一种分布式特征冲突检测方案;对于生成全局状态自动机所导致的状态爆炸问题,提出了4条消除冗余状态和变迁的优化规则。
The union decomposition is an effective approach to resolve the problem of Petri net——"station explosion".
并分解技术是解决Petri网"状态爆炸"问题的有效途径,也是近几年Petri网技术研究的主流方向。
But there is a problem which bars Petri net development:too much nodes lead to "station explosion",specially when analysing a large and complicated system.
但"节点过多,状态爆炸"是阻碍Petri网技术发展的瓶颈问题,尤其对于目前很多大而复杂的系统,其分析非常复杂。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题。