计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
7期
105-109
,共5页
时延Petri网%并发可达调度图%并发任务%建模与分析
時延Petri網%併髮可達調度圖%併髮任務%建模與分析
시연Petri망%병발가체조도도%병발임무%건모여분석
Timed Petri net%Concurrent scheduling marking graph%Concurrent task%Modeling and analysis
在云计算及网格计算环境下,由于资源具有分布、异构、动态、自治等特点,其并发任务的调度更加复杂,迫切需要强有力的图形与数学工具对其进行建模与分析.Petri网是描述与分析并发、异步、动态等事件的理想的图形与数学工具.给出了并发任务调度的加权时延Petri网模型.可达标识图是分析Petri网动态特性的一个重要工具,但它不能表达Petri网中变迁的并发关系,尤其是不便于分析被描述系统的时间特性.提出了并发调度标识图的概念,给出了构造时延Petri网的并发调度标识图的算法.最后,利用并发调度标识图分析了并行下载的时间特性.
在雲計算及網格計算環境下,由于資源具有分佈、異構、動態、自治等特點,其併髮任務的調度更加複雜,迫切需要彊有力的圖形與數學工具對其進行建模與分析.Petri網是描述與分析併髮、異步、動態等事件的理想的圖形與數學工具.給齣瞭併髮任務調度的加權時延Petri網模型.可達標識圖是分析Petri網動態特性的一箇重要工具,但它不能錶達Petri網中變遷的併髮關繫,尤其是不便于分析被描述繫統的時間特性.提齣瞭併髮調度標識圖的概唸,給齣瞭構造時延Petri網的併髮調度標識圖的算法.最後,利用併髮調度標識圖分析瞭併行下載的時間特性.
재운계산급망격계산배경하,유우자원구유분포、이구、동태、자치등특점,기병발임무적조도경가복잡,박절수요강유력적도형여수학공구대기진행건모여분석.Petri망시묘술여분석병발、이보、동태등사건적이상적도형여수학공구.급출료병발임무조도적가권시연Petri망모형.가체표식도시분석Petri망동태특성적일개중요공구,단타불능표체Petri망중변천적병발관계,우기시불편우분석피묘술계통적시간특성.제출료병발조도표식도적개념,급출료구조시연Petri망적병발조도표식도적산법.최후,이용병발조도표식도분석료병행하재적시간특성.
