10.3321/j.issn:1001-8360.2005.06.010
Petri网分析方法改进研究
Petri网是系统建模与分析的一种有力工具.但对于复杂或并行系统分析,由于状态爆炸问题,传统的可达分析方法存在一些不足,经常无法完成系统动态特性的描述,本文提出一种改进分析方法--独立-耦合可达树分析方法,简化了Petri网模型中多进程并行运行情况下的可达树分析,取得了良好的效果.
Petri网、可达树、冗余
27
U284(铁路通信、信号)
铁道部科技研究开发计划2002X009
2006-03-09（万方平台首次上网日期，不代表论文的发表时间）
共4页
54-57
