重庆师范大学学报（自然科学版）
重慶師範大學學報（自然科學版）
중경사범대학학보（자연과학판）
JOURNAL OF CHONGQING NORMAL UNIVERSITY（NATURAL SCIENCE EDITION）
2008年
2期
40-45
,共6页
Petri网%UML%流水作业调度%动态规划算法%Johnson法则
Petri網%UML%流水作業調度%動態規劃算法%Johnson法則
Petri망%UML%류수작업조도%동태규화산법%Johnson법칙
为了对流水作业调度的行为提供支持,需要对其进行有效的建模和模型分析.Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具.UML是一种易于编程实现的面向对象建模工具.针对UML和Petri网建模的特点,本文采用Petri网与UML相结合的建模分析方法,融合了Petri网精确、严格的形式化描述和UML友善的用户界面的优点.并提出了将Petri网转化为一种可以表示对象间的同步、并发的扩展状态图的方法.利用Petri网描述系统的动态特性,经过分析、验证或仿真后,通过提供的转化规则将Petri网模型转化成相应的UML动态图、扩展的状态图,对流水作业调度问题建模.利用动态规划算法解决满足Johnson法则的最优作业调度问题,并用Java实现.
為瞭對流水作業調度的行為提供支持,需要對其進行有效的建模和模型分析.Petri網具有堅實的理論基礎和易于使用的圖形錶示,是一種理想的建模和分析工具.UML是一種易于編程實現的麵嚮對象建模工具.針對UML和Petri網建模的特點,本文採用Petri網與UML相結閤的建模分析方法,融閤瞭Petri網精確、嚴格的形式化描述和UML友善的用戶界麵的優點.併提齣瞭將Petri網轉化為一種可以錶示對象間的同步、併髮的擴展狀態圖的方法.利用Petri網描述繫統的動態特性,經過分析、驗證或倣真後,通過提供的轉化規則將Petri網模型轉化成相應的UML動態圖、擴展的狀態圖,對流水作業調度問題建模.利用動態規劃算法解決滿足Johnson法則的最優作業調度問題,併用Java實現.
위료대류수작업조도적행위제공지지,수요대기진행유효적건모화모형분석.Petri망구유견실적이론기출화역우사용적도형표시,시일충이상적건모화분석공구.UML시일충역우편정실현적면향대상건모공구.침대UML화Petri망건모적특점,본문채용Petri망여UML상결합적건모분석방법,융합료Petri망정학、엄격적형식화묘술화UML우선적용호계면적우점.병제출료장Petri망전화위일충가이표시대상간적동보、병발적확전상태도적방법.이용Petri망묘술계통적동태특성,경과분석、험증혹방진후,통과제공적전화규칙장Petri망모형전화성상응적UML동태도、확전적상태도,대류수작업조도문제건모.이용동태규화산법해결만족Johnson법칙적최우작업조도문제,병용Java실현.
