广西大学学报（自然科学版）
廣西大學學報（自然科學版）
엄서대학학보（자연과학판）
JOURNAL OF GUANGXI UNIVERSITY （NATURAL SCIENCE EDITION）
2009年
3期
400-405
,共6页
Petri网%网转换%网分割%创建进程%并行化方法
Petri網%網轉換%網分割%創建進程%併行化方法
Petri망%망전환%망분할%창건진정%병행화방법
对Petri网系统并行化一般方法的研究.给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量的Petri网并行化问题进行讨论,确定其不存在并行进程,Petri网不能并行化;提出Petri网系统并行化的一般方法和实现步骤,使其成为各应用领域Petri网系统并行化过程中一种通用的、有效的方法.
對Petri網繫統併行化一般方法的研究.給齣瞭使用P/T網作為研究對象的原因以及基于P-不變量的Petri網繫統分割技術和併行進程創建的條件;提齣瞭非負庫所和共享庫所進程的併行化條件和方法,併對它們進行證明和實例驗證;對不存在P-不變量的Petri網併行化問題進行討論,確定其不存在併行進程,Petri網不能併行化;提齣Petri網繫統併行化的一般方法和實現步驟,使其成為各應用領域Petri網繫統併行化過程中一種通用的、有效的方法.
대Petri망계통병행화일반방법적연구.급출료사용P/T망작위연구대상적원인이급기우P-불변량적Petri망계통분할기술화병행진정창건적조건;제출료비부고소화공향고소진정적병행화조건화방법,병대타문진행증명화실례험증;대불존재P-불변량적Petri망병행화문제진행토론,학정기불존재병행진정,Petri망불능병행화;제출Petri망계통병행화적일반방법화실현보취,사기성위각응용영역Petri망계통병행화과정중일충통용적、유효적방법.
