计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2009年
4期
1320-1322,1337
,共4页
Petri网%不变式%半代数系统%半代数变迁系统
Petri網%不變式%半代數繫統%半代數變遷繫統
Petri망%불변식%반대수계통%반대수변천계통
在Petri网的验证中,代数不变式起着非常重要的作用.将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于更好地分析Petri网可达空间.算法首先将Petri网的不变式假定为一个含参数系统,然后通过求解半代数系统来求解不变式中的参数;最后,基于DISCOVERER和QEPCAD等Maple软件包实现了该算法,并通过实例说明了算法的有效性.
在Petri網的驗證中,代數不變式起著非常重要的作用.將Petri網建模為半代數變遷繫統,提齣瞭自動生成不變式的算法,該不變式有助于更好地分析Petri網可達空間.算法首先將Petri網的不變式假定為一箇含參數繫統,然後通過求解半代數繫統來求解不變式中的參數;最後,基于DISCOVERER和QEPCAD等Maple軟件包實現瞭該算法,併通過實例說明瞭算法的有效性.
재Petri망적험증중,대수불변식기착비상중요적작용.장Petri망건모위반대수변천계통,제출료자동생성불변식적산법,해불변식유조우경호지분석Petri망가체공간.산법수선장Petri망적불변식가정위일개함삼수계통,연후통과구해반대수계통래구해불변식중적삼수;최후,기우DISCOVERER화QEPCAD등Maple연건포실현료해산법,병통과실례설명료산법적유효성.
