电脑与电信
電腦與電信
전뇌여전신
COMPUTER & TELECOM
2012年
1期
37-38,55
,共3页
Petri网%改进可迭树%死锁%活性%可达性
Petri網%改進可迭樹%死鎖%活性%可達性
Petri망%개진가질수%사쇄%활성%가체성
Petri net%Modified Reachability Tree(MRT)%deadlock%liveness%reachability
Petri网的可达树是一个基础的强有力的分析方法和工具,它可以用来分析各种性能,包括活性、有界性、保持性、可达性和可覆盖性。本文主要利用改进可达树对Petri网的活性和可达性进行分析研究,并基于改进可达树的算法实现对一库所无界Petri网进行死锁检测。
Petri網的可達樹是一箇基礎的彊有力的分析方法和工具,它可以用來分析各種性能,包括活性、有界性、保持性、可達性和可覆蓋性。本文主要利用改進可達樹對Petri網的活性和可達性進行分析研究,併基于改進可達樹的算法實現對一庫所無界Petri網進行死鎖檢測。
Petri망적가체수시일개기출적강유력적분석방법화공구,타가이용래분석각충성능,포괄활성、유계성、보지성、가체성화가복개성。본문주요이용개진가체수대Petri망적활성화가체성진행분석연구,병기우개진가체수적산법실현대일고소무계Petri망진행사쇄검측。
The reachability tree of a Petri net is a fundamental and powerful one for various properties including liveness, boundedness, conservation, reachability, and coverability. This paper analyzes the liveness and reachability of a Petri net, and realizes the deadlock checking for one-place unbounded Petri Nets based on the modified reachability trees.