[1] 刘晓平, 唐益明, 郑利平. 复杂系统与复杂系统仿真研究综述[J]. 系统仿真学报, 2008, 20(23): 6303-6315. (Liu Xiaoping, Tang Yiming, Zhen Liping.Survey of Complex System and Complex System Simulation[J]. Journal of System Simulation (S1004-731X), 2008, 20(23): 6303-6315.) [2] 冯强, 曾声奎, 康锐. 不确定条件下舰载机动态调度仿真与优化方法[J]. 系统仿真学报, 2011, 23(7): 1497-1506. (Feng Qiang, Zeng Shengkui, Kang Rui.Dynamic Scheduling Simulation and Optimization of Carrier Aircraft Under Uncertainty[J]. Journal of System Simulation (S1004-731X), 2011, 23(7): 1497-1506.) [3] 张曼. 面向服务的业务流程建模与验证研究 [D]. 西安: 西安电子科技大大学, 2012. (Zhang Man.Study of Service-Oriented Business Process Modeling and Verification [D]. Xi'an, China: Xidian University, 2012.) [4] 吴哲辉. Petri网导论 [M]. 北京: 机械工业出版社, 2006. (Wu Zhehui.Petri net introductory theory [M]. Beijing, China: China Machine Press, 2006.) [5] Milner Robin.Communicating and Mobile Systems: the Pi-calculus. Fifth Printing [M]. USA: Cambridge Press, 2004. [6] 张立群. 支持业务流程建模的块结构流程挖掘技术的研究 [D]. 济南: 山东大学, 2010. (Zhang Liqun.Research on Block-Structured Process Mining Technology for Business Process Modeling [D]. Ji'nan, China: Shandong University, 2010.) [7] 蔡章利, 易树平. 基于BPMN的业务流程一体化建模方法[J]. 计算机集成制造系统, 2010, 16(3): 551-557. (Cai Zhangli, Yi Shuping.Business Process Integration Modeling Method Based on Business Process Modeling Notation[J]. Computer Integrated Manufacturing System, 2010, 16(3): 551-557.) |