针对目前协同设计中业务过程描述能力不足和柔性差等问题，从并发性、可伸缩性和协同性等五方面进
行分析，提出了一种在空间上三维分布的Petri网建模方法. 将组合、颜色和定时约束Petri网引入协同设计的流
程建模之中，设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型；运用随机Petri网的思想对协
同设计各流程流转、工作效率等进行分析，详细分析了其性能指标，验证了模型的可达性，并从业务冲突及模型分
解等方面提出了优化.
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.
[1] 王浩，武凌.基于专家系统的协同设计工作流管理系统研究[J].计算机工程与科学,2012,34(12):183-188. WANG Hao, WU Ling. Research of collaborative design workflow management system based on expert system[J].COMPUTER ENGINEERING&SCIENCE,2012,34(12):183-188.(in Chinese)
[2] 谭 貌,段 斌,彭邦伦,张建和.云制造环境下协同工作流控制模型研究[J].计算机工程,2012,3(24):21-26. TAN Mao, DUAN Bin, PENG Banglun, ZHANG Jianhe.Research on Control Model of Collaborative Workflow in Cloud Manufacturing Environment[J].Computer Engineering,2012,3(24):21-26.(in Chinese)
[3] J. Octavio Gutierrez-Garcia,Kwang Mong Sim.Agengt-based cloud workflow execution[J].Integrated Computer-Aided Engineering,2012,(19):39-56.
[4] 柴学智，曹 健.面向云计算的工作流技术[J]. 小型微型计算机系统,2012,33(1):90-95. CHAI Xuezhi，CAO Jian.Cloud Computing Oriented Workflow Technology[J]. Journal of Chinese Computer Systems,2012,33(1):90-95.(in Chinese)
[5] 潘隆涛，涂海宁.基于随机Petri网的连续型制造系统建模与性能分析[J]. 组合机床与自动化加工技术,2013,(9):25-27. PAN Longtao,TU Haining.Modeling and Analysis on Continuous Manufacture System Based on Stochastic Petri Net[J].Modular Machine Tool&Automatic Manufacturing Technique,2013,(9):25-27. (in Chinese)
[6] 林闯．随机 Petri 网和系统性能评价[M].第2版.北京:清华大学出版社,2005．
Lin Chuang. Stochastic Petri net and performance evaluation of system[M]. 2nd ed. Beijing: Tsinghua University Press, 2005. (in Chinese)
[7] Rafael Tolosana-Calasanz,José Ángel Bañares, Congduc Pham, Omer F. Rana.Enforcing QoS in scientific workflow systems enacted over Cloud infrastructures[J].Journal of Computer and System Sciences, 2012, 78(5):1300–1315.
[8] Xiao Liu, Yun Yang, Dong Yuan, Gaofeng Zhang, etal. A Generic QoS Framework for Cloud Workflow Systems, 2011 IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing, 2011:713-720.
[9] Jens-Sönke Vöckler, Gideon Juve, Ewa Deelman,Mats Rynge,etal.Experiences using cloud computing for a scientific workflow application,ScienceCloud '11 Proceedings of the 2nd international workshop on Scientific cloud computing,2011:15-24.
[10] Wu Z, Liu X, Ni Z, Yuan D, Yang Y. A market-oriented hierarchical scheduling strategy in cloud workflow systems. Journal of Supercomputing 2013; 63(1):256–293.
[11] Sofiane Bendoukha, Thomas Wagner.Cloud Transition: Integrating Cloud Calls into Workflow Petri Nets,In proceeding of: Petri Nets and Software Engineering,2012:215-216.
