软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2004年
7期
949-955
,共7页
胡娟%刘力惠%范植华%李磊%王常青%周纬杰
鬍娟%劉力惠%範植華%李磊%王常青%週緯傑
호연%류력혜%범식화%리뢰%왕상청%주위걸
Petri网%可达性%Grobner基
Petri網%可達性%Grobner基
Petri망%가체성%Grobner기
Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的"综合判定法".此判定方法综合多种传统判定方法的优点,结合Gr(o)bner基理论,确保了对Petri网标识可达性进行判定所得结果的可靠性.
Petri網標識的可達性判定問題是進行Petri網分析的基礎,而傳統的判定方法併不能確保所得結果的可靠性.在揭示Petri網可達性問題的實質之後,討論瞭在標識圖的同一連通域內標識可達性的判定問題,進而在分析相關原理的基礎上提齣瞭一種有效判定Petri網標識可達性的"綜閤判定法".此判定方法綜閤多種傳統判定方法的優點,結閤Gr(o)bner基理論,確保瞭對Petri網標識可達性進行判定所得結果的可靠性.
Petri망표식적가체성판정문제시진행Petri망분석적기출,이전통적판정방법병불능학보소득결과적가고성.재게시Petri망가체성문제적실질지후,토론료재표식도적동일련통역내표식가체성적판정문제,진이재분석상관원리적기출상제출료일충유효판정Petri망표식가체성적"종합판정법".차판정방법종합다충전통판정방법적우점,결합Gr(o)bner기이론,학보료대Petri망표식가체성진행판정소득결과적가고성.
