基于Petri网和UML的流水作业调度模型设计及实现  

Design of Flow Shop Scheduling Model Based on Petri Net and UML and Implemented with Java

作　　者：赵国毅[1] 张广泉[1] 

机构地区：[1]重庆师范大学数学与计算机科学学院,重庆400047

出　　处：《重庆师范大学学报（自然科学版）》2008年第2期40-45,共6页Journal of Chongqing Normal University:Natural Science

基　　金：重庆市自然科学基金(No.CSTC;2006BB2259)

摘　　要：为了对流水作业调度的行为提供支持,需要对其进行有效的建模和模型分析。Petri网具有坚实的理论基础和易于使用的图形表示,是一种理想的建模和分析工具。UML是一种易于编程实现的面向对象建模工具。针对UML和Petri网建模的特点,本文采用Petri网与UML相结合的建模分析方法,融合了Petri网精确、严格的形式化描述和UML友善的用户界面的优点。并提出了将Petri网转化为一种可以表示对象间的同步、并发的扩展状态图的方法。利用Petri网描述系统的动态特性,经过分析、验证或仿真后,通过提供的转化规则将Petri网模型转化成相应的UML动态图、扩展的状态图,对流水作业调度问题建模。利用动态规划算法解决满足Johnson法则的最优作业调度问题,并用Java实现。In order to support the behavior of the Flow Shop Scheduling, an effective modeling and an analysis method are proposed to solve this problem. Petri Nets is a graphical modeling tool and also a formal mathematic tool. UML is an object-oriented modeling tool which is easy to be implemented with program. Owing to the characteristics of UML and Petri net, the modeling analysis method combining UML with Petri net is adopted, this method puts their advantages together, and a method of Petri Net transformed to an extended State Diagram which could express synchronization and concurrence between the object is proposed. Using Petri Net Shows systemic dynamic characteristic, After analysis, confirmation or simulation, we transform them into the corresponding dynamic Diagram, extended State Diagram through provided rule of transform and modeling Flow Shop Scheduling problem. By dynamic programming algorithm, the problem of superior flow jobs scheduling to meet Johnson＇s Rule is solved and implemented with Java.

关 键 词：PETRI网 UML 流水作业调度 动态规划算法 Johnson法则 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]