论文部分内容阅读
摘要：高校教学管理是各项管理工作的中心环节。提高教学管理水平，必须充分认识教学管理工作的内在规律，深刻理解教学管理工作的根本任务、目的与基本方法。教学管理的合理性决定了管理的有效性，同时高校教学管理业务流程的复杂性决定了必须有一套严谨的、精密的建模及验证方法。在不否定教学管理的行政管理属性和管理人员经验能力的前提下，管理流程在数学模型的基础上提出，通过分析验证后最终还原到具体的工作中。本文以学生成绩申诉处理流程为例，描述了如何建立基于Petri网流程模型，为模型的验证和优化打下基础。
关键词：教学管理 Petri网 工作流 工作流网
1 高校教学管理流程建模的意义
高校教学管理是各项管理工作的中心环节。提高教学管理水平，必须充分认识教学管理工作的内在规律，深刻理解教学管理工作的根本任务、目的与基本方法。提高高校教学管理水平，需要从教学管理的内涵和特点出发，解决当前教学管理面临的困难与问题，探索加强教学管理的方法和途径。
一个完整的教学管理业务流程，应该是动态的、多角色参与的复杂系统。教学管理的合理性决定了管理的有效性，同时高校教学管理业务流程的复杂性决定了必须有一套严谨的、精密的建模及验证方法。而流程分析和验证需要在数学模型的基础上提出，最终还原到具体的工作中。因此管理流程建模是管理流程合理性验证和优化的前提。
2 基于Petri网的流程建模方法
Petri网从1962提出以来，已经发到有色Petri网、时间Petri网、混合Petri网等高级Petri网，Petri网作为一个非常优秀的形式化描述工具，以在流程建模与分析中得到广泛的应用。基于Petri网的工作流程的模型称为工作流网。
工作流网是在Petri网的基础上提出的，可以说是Petri网的一种应用，其定义如下：
一个Petri网PN=（P，T，F）被称为工作流网，当且仅当它满足下面两个条件：
①PN有两个特殊的库所：i和o。库所i是一个起始库所，即·i=φ；库所o是一个终止库所，即o·=φ。
②如果在PN中加入一个新的变迁t*，使t*连接库所i与o，即·t*={o}，t*·={i}，这时得到的PN是强连接的。
注：工作流网PN=（P，T，F）中，P是库所的集合，T是变迁（活动）的集合，F表示库所到变迁或变迁到库所弧的集合。
3 学生成绩申诉流程建模
为了使用Petri网对申诉流程进行建模，下面将叙述如果一个学生对自己的成绩有异议，提出申诉请求到申诉处理的全过程：
学生向辅导员提出对成绩进行核查的请求，辅导员收到申请后，再将申请上报系教学秘书。教学秘书在接到辅导员的申请后通知学生填写申请书。学生填写好申请书后，教学秘书对申请进行初审，如果学生申请的理由充分，则通过初审并上报教务处；如果理由不充分，拒绝学生的申请。教务处在接到系部的核查申请后，对申请进行复审，如果复审不通过，直接通知教学秘书不接受学生的申请，再由教学秘书通知辅导员，最后通知到学生本人；如果复审通过，通知相关教师到档案室查找试卷进行核实，如果成绩有误则通知教学秘书学生的最新成绩，教学秘书在接到通知后对成绩进行修改，并通知学生辅导员；如果成绩无误则直接通知教学秘书学生申诉不成功，教学秘书在接到通知后，通知学生辅导员，并由学生辅导员通知学生。
工作流模型是对工作流程的一种描述，便于对流程进行分析验证。通过对成绩申诉过程的描述，可以根据工作流网的基本理论对成绩申诉的过程进行建模，整个成绩申诉及处理的工作流网模型如图1：
对于图1中工作流模型中出现的各种活动和条件说明如下表。
4 总结
本文介绍了基于Petri网的流程建模方法，并以学生成绩申诉处理流程为例描述了建模的过程，模型以图形化的方式清晰的说明了从学生提出成绩申诉请求到申诉的处理全过程。该模型的建立为下一步进行流程合理性验证和流程优化奠定了工作基础。
参考文献：
[1]郝文，王道平，基于Petri网的工作流建模合理性验证算法，计算机工程与应用，2008，44（13）.
[2]王瑜，李嶒，基于Petri网的工作流模型合理性验证，电脑知识与技术，2010.4.
[3]周福明等，基于Petri网的工作流建模与正确性分析，计算机科学，2005，32（2）.
[4]李嶒，基于Petri网的工作流模型应用研究，安徽大学硕士论文，2008，
28～29.
本文由安徽中澳科技职业学院校级科研项目“基于Petri网的通用教学管理业务流程分析及优化方法”基金支持。
关键词：教学管理 Petri网 工作流 工作流网
1 高校教学管理流程建模的意义
高校教学管理是各项管理工作的中心环节。提高教学管理水平，必须充分认识教学管理工作的内在规律，深刻理解教学管理工作的根本任务、目的与基本方法。提高高校教学管理水平，需要从教学管理的内涵和特点出发，解决当前教学管理面临的困难与问题，探索加强教学管理的方法和途径。
一个完整的教学管理业务流程，应该是动态的、多角色参与的复杂系统。教学管理的合理性决定了管理的有效性，同时高校教学管理业务流程的复杂性决定了必须有一套严谨的、精密的建模及验证方法。而流程分析和验证需要在数学模型的基础上提出，最终还原到具体的工作中。因此管理流程建模是管理流程合理性验证和优化的前提。
2 基于Petri网的流程建模方法
Petri网从1962提出以来，已经发到有色Petri网、时间Petri网、混合Petri网等高级Petri网，Petri网作为一个非常优秀的形式化描述工具，以在流程建模与分析中得到广泛的应用。基于Petri网的工作流程的模型称为工作流网。
工作流网是在Petri网的基础上提出的，可以说是Petri网的一种应用，其定义如下：
一个Petri网PN=（P，T，F）被称为工作流网，当且仅当它满足下面两个条件：
①PN有两个特殊的库所：i和o。库所i是一个起始库所，即·i=φ；库所o是一个终止库所，即o·=φ。
②如果在PN中加入一个新的变迁t*，使t*连接库所i与o，即·t*={o}，t*·={i}，这时得到的PN是强连接的。
注：工作流网PN=（P，T，F）中，P是库所的集合，T是变迁（活动）的集合，F表示库所到变迁或变迁到库所弧的集合。
3 学生成绩申诉流程建模
为了使用Petri网对申诉流程进行建模，下面将叙述如果一个学生对自己的成绩有异议，提出申诉请求到申诉处理的全过程：
学生向辅导员提出对成绩进行核查的请求，辅导员收到申请后，再将申请上报系教学秘书。教学秘书在接到辅导员的申请后通知学生填写申请书。学生填写好申请书后，教学秘书对申请进行初审，如果学生申请的理由充分，则通过初审并上报教务处；如果理由不充分，拒绝学生的申请。教务处在接到系部的核查申请后，对申请进行复审，如果复审不通过，直接通知教学秘书不接受学生的申请，再由教学秘书通知辅导员，最后通知到学生本人；如果复审通过，通知相关教师到档案室查找试卷进行核实，如果成绩有误则通知教学秘书学生的最新成绩，教学秘书在接到通知后对成绩进行修改，并通知学生辅导员；如果成绩无误则直接通知教学秘书学生申诉不成功，教学秘书在接到通知后，通知学生辅导员，并由学生辅导员通知学生。
工作流模型是对工作流程的一种描述，便于对流程进行分析验证。通过对成绩申诉过程的描述，可以根据工作流网的基本理论对成绩申诉的过程进行建模，整个成绩申诉及处理的工作流网模型如图1：
对于图1中工作流模型中出现的各种活动和条件说明如下表。
4 总结
本文介绍了基于Petri网的流程建模方法，并以学生成绩申诉处理流程为例描述了建模的过程，模型以图形化的方式清晰的说明了从学生提出成绩申诉请求到申诉的处理全过程。该模型的建立为下一步进行流程合理性验证和流程优化奠定了工作基础。
参考文献：
[1]郝文，王道平，基于Petri网的工作流建模合理性验证算法，计算机工程与应用，2008，44（13）.
[2]王瑜，李嶒，基于Petri网的工作流模型合理性验证，电脑知识与技术，2010.4.
[3]周福明等，基于Petri网的工作流建模与正确性分析，计算机科学，2005，32（2）.
[4]李嶒，基于Petri网的工作流模型应用研究，安徽大学硕士论文，2008，
28～29.
本文由安徽中澳科技职业学院校级科研项目“基于Petri网的通用教学管理业务流程分析及优化方法”基金支持。