English

应用科学学报 ›› 2014, Vol. 32 ›› Issue (6): 645-651.doi: 10.3969/j.issn.0255-8297.2014.06.015

• 控制与系统 • 上一篇    下一篇

协同设计中基于混合Petri网的云工作流表示模型

焦合军1,3,4， 张璟1， 李军怀1， 施进发2， 李建3   

  1. 1. 西安理工大学计算机科学与工程学院，西安710048
    2. 郑州航空工业管理学院管理科学与工程学院，郑州450015
    3. 河南工程学院计算机学院，郑州451191
    4. 西安理工大学机械与精密仪器工程学院，西安710048
  • 收稿日期:2014-07-15 修回日期:2014-09-26 出版日期:2014-11-28 发布日期:2014-09-26
  • 作者简介:焦合军，博士生，讲师，研究方向：云计算、制造业信息化，E-mail: david.710@163.com；张璟，教授，博导，研究方向: 网络化制造、云计算、虚拟化技术, E-mail: zhangjing@xaut.edu.cn
  • 基金资助:

    ：国家自然科学基金(No.61172018, No.70971120)；国家软科学研究计划重大合作项目基金(No.2013GXS2B010)；河南省科
    技厅科技攻关计划基金(No.142102210037)；陕西省重点实验室科研计划项目基金(No.13JS084)；陕西水利科技计划项目基
    金(No.2012-08)资助

Cloud Workflow Model for Collaborative Design Based on Hybrid Petri Net

JIAO He-jun1,3,4, ZHANG Jing1, LI Jun-huai1, SHI Jin-fa2, LI Jian3   

  1. 1. School of Computer Science and Engineering, Xi’an University of Technology, Xi’an 710048, China
    2. School of Management Science and Engineering, Zhengzhou Institute of Aeronautical Industry
    Management, Zhengzhou 450015, China
    3. School of Computer, Henan Institute of Engineering, Zhengzhou 451191, China
    4. School of Mechanical and Precision Instrument Engineering, Xi’an University of Technology,
    Xi’an 710048, China
  • Received:2014-07-15 Revised:2014-09-26 Online:2014-11-28 Published:2014-09-26

PDF

863

被引次数

9

摘要： 针对目前协同设计中业务过程描述能力不足和柔性差等问题，从并发性、可伸缩性和协同性等五方面进
行分析，提出了一种在空间上三维分布的Petri网建模方法. 将组合、颜色和定时约束Petri网引入协同设计的流
程建模之中，设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型；运用随机Petri网的思想对协
同设计各流程流转、工作效率等进行分析，详细分析了其性能指标，验证了模型的可达性，并从业务冲突及模型分
解等方面提出了优化.

关键词: 工作流管理, 云计算, 混合Petri网, 协同设计

Abstract:  For business processes, there are problems in collaborative design such as inadequate description
and poor flexibility. By analyzing features in a cloud workflow model in terms of concurrency, scalability,
collaborative, dynamic and compositability, a workflow model of three-dimensional distribution in space is
established. A Petri net with compositability, color and timing constraints is introduced into the process
modeling. A hybrid Petri net (HPN) model is designed, which can dispose the cloud workflow business
processes. Using the idea of stochastic Petri net, the process flow and efficiency are explained, performance of
the model is analyzed. Reachability of the model is verified. An optimization scheme is proposed to deal with
business conflicts and model decomposition.

Key words: hybrid Petri net, collaborative design, workflow management, cloud computing

中图分类号: