基于Petri网的研究生培养工作流模型

发布时间:2019-05-11 20:37
【摘要】:工作流技术作为实现过程集成管理的有效手段,广泛应用于各种场合,Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,该文简要介绍了工作流、工作流模型以及Petri网的理论,然后对研究生培养过程进行了基于Petri网的模型设计,并对模型进行了化简和合理性证明,结果表明,利用Petri网能够对研究生培养过程进行建模和优化设计。
[Abstract]:Workflow technology, as an effective means to realize process integration management, is widely used in various occasions. Petri net is a system model suitable for describing asynchronous concurrency. It has both strict mathematical definition and intuitive graphic representation. This paper briefly introduces workflow, workflow model and the theory of Petri net, then designs the model based on Petri net for graduate student training process, and simplifies and proves the model. The results show that, Petri net can be used to model and optimize the training process of graduate students.
【作者单位】: 合肥工业大学计算机与信息学院;
【基金】:合肥工业大学科学研究发展基金资助项目(070503F)
【分类号】:G643;TP399-C1

【参考文献】

相关期刊论文 前3条

1 孙召龙;;基于Petri网的人才评价工作流模型[J];科学技术与工程;2006年03期

2 杨雯;刘厚泉;;基于Petri网的工作流模型的研究[J];计算机工程与设计;2007年17期

3 李建强,范玉顺;基于Petri网化简方法的工作流模型验证[J];信息与控制;2001年06期

【共引文献】

相关期刊论文 前10条

1 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期

2 王娜;罗小明;;基于模糊Petri网的推理算法在C~4ISR系统效能评估中的应用[J];兵工自动化;2008年05期

3 宋朝河;戴羽;;基于面向对象Petri网的侦察配系评估模型[J];兵工自动化;2009年04期

4 刘学程;张乾;蔡强;王骏;陈煜;;基于CPN的维修保障资源配置建模与仿真方法[J];兵工自动化;2009年09期

5 黄东坡;曹继平;宋建社;杨檬;;基于Petri网的虚拟维修过程建模[J];兵工自动化;2011年01期

6 徐春香;屈婉玲;王捍贫;朱梅霞;;死路删除语义下的WS-BPEL流程的建模[J];北京大学学报(自然科学版);2010年02期

7 罗杰;段建民;陈建新;;MAS行为协进化Petri网模型构建[J];北京工业大学学报;2008年07期

8 郭峰;姚淑珍;;基于Petri网的UML状态图的形式化模型[J];北京航空航天大学学报;2007年02期

9 马锋;邱菀华;;高空模拟试验应急管理的Petri网建模及应用[J];北京航空航天大学学报;2010年10期

10 李辉;张振华;;基于Petri网的电子运维系统工作流建模[J];北京化工大学学报(自然科学版);2009年S1期

相关会议论文 前10条

1 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年

2 葛丹;郑会颂;姚国章;;应急管理工作流模型的研究[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年

3 鲁志兵;胡金柱;胡燕;焦金丹;舒江波;;门户网自助系统的扩展有色Petri网建模与分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年

4 王小梅;朱诗兵;王新波;;军事航天信息网络的Petri网建模与分析[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年

5 童朝南;李宝峰;;电梯群控系统的Petri网建模与分析[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年

6 丁峰;陆阳;程运安;;汽车车身控制系统的规则化描述和Petri网建模研究[A];第六届全国信息获取与处理学术会议论文集(3)[C];2008年

7 杨鹏;袁占亭;王继曾;;基于广义随机Petri网的SIP的时延分析[A];第三届全国虚拟仪器大会论文集[C];2008年

8 李武胜;张琦;王秋平;;基于GSPN的城市区域交通控制评价优化模型研究[A];2008第四届中国智能交通年会论文集[C];2008年

9 彭艾;黄岚;王忠义;王成;毛南;刘志存;;无线传感器网络路由协议改进方案的初步研究[A];“第一届国际计算机及计算技术在农业中的应用研讨会”暨“第一届中国农村信息化发展论坛”论文集[C];2007年

10 高德平;周国祥;;基于着色Petri网的工作流模型的研究与应用[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年

相关博士学位论文 前10条

1 周航;基于质量有色Petri网的Web组合服务建模与冲突、冲撞研究[D];南京航空航天大学;2009年

2 唐小卫;协同决策机制下航空运输系统不正常航班问题研究[D];南京航空航天大学;2009年

3 罗乐;面向设计主体的产品开发过程建模及仿真[D];重庆大学;2010年

4 董存祥;应急事件处置流程建模及其过程协同研究[D];天津大学;2010年

5 张镇;面向迎宾机器人组件化系统的建模与控制研究[D];上海交通大学;2011年

6 颜学雄;Web服务访问控制机制研究[D];解放军信息工程大学;2008年

7 张世超;Norm支持的虚拟组织关键技术研究[D];复旦大学;2005年

8 陈荣;面向网格计算的按需入侵检测模型及关键技术研究[D];浙江大学;2005年

9 肖郑进;面向企业应用的工作流精简建模研究[D];浙江大学;2006年

10 李景霞;基于扩展颜色Petri网的Web服务组合建模研究[D];中国科学院研究生院(计算技术研究所);2006年

相关硕士学位论文 前10条

1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年

2 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年

3 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年

4 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年

5 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年

6 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年

7 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年

8 梁永会;面向网格服务的SWAT模型集成体系研究[D];郑州大学;2010年

9 李建民;AUV水下回收预测与协调控制技术研究[D];哈尔滨工程大学;2010年

10 赵宝平;工作流的建模与验证[D];大连理工大学;2010年

【二级参考文献】

相关期刊论文 前3条

1 周建涛,史美林,叶新铭;工作流过程建模中的形式化验证技术[J];计算机研究与发展;2005年01期

2 杜淑楠,章宁,王鲁滨;工作流模型正确性验证过程中的模型简化问题[J];计算机工程;2005年S1期

3 曹化工,杨曼红;基于对象Petri网的工作流过程定义[J];计算机辅助设计与图形学学报;2001年01期

【相似文献】

相关期刊论文 前10条

1 陈志明;Petri网在电信业务过程建模中的应用[J];北京邮电大学学报(社会科学版);2003年02期

2 钟诚;罗小凤;;基于Petri的电子政务系统应用研究[J];福建教育学院学报;2007年04期

3 王海顺,吴鹏;工作流性能评价方法[J];安阳师范学院学报;2005年02期

4 刘培林;谭一军;;基于Petri网的工作流模型设计与实现[J];武汉职业技术学院学报;2007年03期

5 胡新颜;李莉娜;;基于Petri网的过程控制创新型实验教学工作流模型探讨[J];中国电力教育;2011年11期

6 开立功;基于Petri网的工作流模型设计[J];肇庆学院学报;2005年02期

7 宋汝良,李长树;基于扩展Petri网的工作流模型及实现[J];教育信息化;2000年06期

8 王路;;用换元法化简二次根式[J];中学生数学;2002年06期

9 吴健;;《整式的运算》综合试题[J];数学大世界(初中生数学辅导版);2009年03期

10 林春杰;郭洪涛;;基于Petri网的轻量级工作流引擎研究[J];洛阳师范学院学报;2009年02期

相关会议论文 前10条

1 黄瑾;郭东强;;基于Petri网的协同工作流描述方法及建模[A];信息经济学与电子商务:第十三届中国信息经济学会学术年会论文集[C];2008年

2 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年

3 石旦;廖闻剑;彭艳兵;;增值业务中基于Petri网的工作流模型的设计和实现[A];2008通信理论与技术新发展——第十三届全国青年通信学术会议论文集(下)[C];2008年

4 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年

5 张朝辉;刘大有;刘伟江;;工作流建模技术综述[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年

6 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年

7 杨亚伟;朱涛;;基于工作流技术的铁路运输调度系统的设计方法[A];快速提升铁路建设与装备现代化技术促进铁路跨越式发展——中国科协第五届青年学术年会第九分会场论文集[C];2004年

8 温海英;孙波;;基于Petri网的自适应工作流模型的研究[A];图像图形技术与应用进展——第三届图像图形技术与应用学术会议论文集[C];2008年

9 王波;曹耀钦;宋恒辛;;基于Petri网的工作流过程建模研究[A];中国电子学会第十六届信息论学术年会论文集[C];2009年

10 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年

相关重要报纸文章 前10条

1 柏林 本报记者 陈鹏;天维科技:用科技化简生活[N];大连日报;2011年

2 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年

3 淮安市地方税务局信息管理处 王中明 许金国;人机结合 建设现代化地税[N];中国计算机报;2006年

4 蒋明炜、戴宝纯、吴英;工作流管理与ERP的应用[N];中国计算机报;2003年

5 何吟;“行业”标签让SunFlow更醒目[N];计算机世界;2004年

6 朱静芬;新一代ERP的特点[N];财会信报;2007年

7 山西焦煤集团驻深圳办事处 刘鹏;基于企业过程建模的工作流管理系统研究[N];山西科技报;2002年

8 本报记者 谌力;从核心竞争力看整合的实施[N];网络世界;2004年

9 武汉光华学校初中部 湖仲文;初三数学三轮复习法[N];湖北科技报;2001年

10 ;信息资源管理需要专业工具[N];中国计算机报;2004年

相关博士学位论文 前10条

1 肖郑进;面向企业应用的工作流精简建模研究[D];浙江大学;2006年

2 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年

3 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年

4 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年

5 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年

6 李嘉菲;基于工作流的业务过程管理关键技术研究[D];吉林大学;2007年

7 薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年

8 周荣辅;基于先进制造技术的制造业生产流程再造研究[D];燕山大学;2007年

9 王占中;基于Petri网的多式联运流程优化研究[D];吉林大学;2007年

10 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年

相关硕士学位论文 前10条

1 龚睿;面向Web服务的工作流模型在政务协同服务中的应用[D];湖南大学;2005年

2 蒋鹏花;基于扩展Petri网的工作流模型技术的研究[D];燕山大学;2007年

3 夏晓东;基于Web和CORBA的工作流系统的研究[D];华北电力大学(河北);2004年

4 张洋;基于工作流的业务过程管理系统的设计开发[D];电子科技大学;2008年

5 张志伟;基于Petri网的工作流系统建模及实现[D];长沙理工大学;2007年

6 刘军;基于领域组件的教务管理信息系统研究与设计[D];南华大学;2006年

7 王通;JBPM到Petri nets的模型转化分析研究[D];天津大学;2006年

8 李玲琳;一种改进的工作流模型的研究与实现[D];中南大学;2006年

9 陈志涛;基于Petri网的工作流建模及其工具的研究与实现[D];华南师范大学;2005年

10 张怀;可扩展工作流框架的研究与实现[D];天津大学;2007年



本文编号:2474830

资料下载
论文发表

本文链接:https://www.wllwen.com/jiaoyulunwen/yjsjy/2474830.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户6ce6e***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com