[1] 罗海滨,范玉顺,吴澄.工作流技术综述[J].软件学报,2000,11(7):899-907. LUO Hai-Bin,FAN Yu-Shun,WU Cheng. Overview of workflow technology[J].Journal of Software,2000,11(7):899-907.(in Chinese)[2] 李建强,范玉顺.一种工作流模型的性能分析方法[J].计算机学报,2003,26(5):513-523. LI Jian-Qiang FAN Yu-Shun.A Method of workflow model performance analysis[J].Chinese Journal of Computers,2003,26(5):513-523.(in Chinese)[3] W M P van der Aalst.The application of Petri nets to workflow management[J].The Journal of Circuit System and Computers 1998,8(1):21-66.[4] 李炜,曾广周,王晓琳.一种基于时间Petri网的工作流模型[J].软件学报,2002,13(8):1666-1671. LI Wei,ZENG Guang-Zhou,WANG Xiao-Lin.A workflow model based on timed Petri net[J].Journal of Software,2002,13(8):1666-1671.(in Chinese)[5] 刘婷,林闯,刘卫东.基于时间Petri网的工作流系统模型的线性推理[J].电子学报,2002,30(2):245-248. LIU Ting,LIN Chuang,LIU Wei-Dong.Linear temporal inference of workflow management system based on timed Petri net models[J].Acta Electronica Sinica,2002,30(2):245-248.(in Chinese)[6] JianQiang Li,YuShun Fan,MengChu Zhou.Timing constrain workflow nets for workflow analysis[J].IEEE Transaction on System,Man,and Cybernetics-Part A:System and Humans,2003,33(2):179-193.[7] Papazoglou M,Delis A,Bouguettaya A,et al.Class library support for workflow environments and application[J].IEEE Transactions on Computers,1997,46(6):673-686.[8] 陈翔,夏国平.基于着色Petri网的工作流建模和合理性分析[J].计算机集成制造技术—CIMS,2004,10(4):381-387. CHEN Xiang,XIA Guo-Ping.Workflow modeling based on colored Petri nets and its soundness analysis[J].Computer Integrated Manufacturing Systems,2004,10(4):381-387.(in Chinese)[9] 林闯,田立勤,魏丫丫.工作流系统模型的性能等价分析[J].软件学报,2002,13(8):1472-1480. LIN Chuang,TIAN Li-Qin,WEI Ya-Ya.Performance equivalent analysis of workflow systems[J].Journal of Software,2002,13(8):1472-1480.(in Chinese)[10] 唐达,徐超,杨晓丽.工作流建模中时态逻辑的研究与应用[J].计算机集成制造技术—CIMS,2004,10,(4):388-393. TANG Da,XU Chao,YANG Xiao-Li.Temporal logic applied in workflow modeling[J].Computer Integrated Manufacturing Systems,2004,10,(4): 388-393.(in Chinese)[11] 杜玉越,蒋昌俊.基于工作流网的实时协同系统模拟技术[J].计算机学报,2004,27(4):471-481. DU Yu-Yue,JIANG Chang-Jun.Modeling real-time cooperative systems with workflow nets[J].Chinese Journal of Computers,2004,27(4):471-481.(in Chinese)[12] 李建强,范玉顺.工作流模型时间有界性验证与分析研究[J].计算机集成制造系统—CIMS,2002,8(10):770-775. LI Jian-Qiang,FAN Yu-Shun.Timing boundedness verification and analysis of workflow model[J].Computer Integrated Manufacturing Systems,2002,8(10):770-775.(in Chinese)[13] Mrata T.Petri nets:Properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4):541-580.[14] 庞善臣,蒋昌俊,孙萍,周长红.共享合成Petri网的性质分析[J].自动化学报,2004,30(6):944-948. PANG Shan-Chen,JIANG Chang-Jun,SUN Ping,ZHOU Chang-Hong.Property analysis of shared composition Petri nets[J].Acta Automatica Sinica,2004,30(6):944-948.(in Chinese)[15] Kamel Barkaoui,Laure Petrucci.Structral analysis of workflow nets with shared resources.Computing Science Reports,Proc WFM’98.Lisbon,Portugal:Eindhoven University of Technology,1998.82-95.[16] 袁崇义.Petri网原理与应用[M].北京:电子工业出版社,2005.225-258.[17] Alireza Khoshkbarforoushha,Pooyan Jamshidi,Ali Nikravesh,Fereidoon Shams.Metrics for BPEL process context-independency analysis[J].Service Oriented Computing and Applications,2011,5(3):139-157.[18] Narges Bahi-Jaber,Dominique Pontier.Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets[J].Mathematical Biosciences 2003,185(1):1-13.[19] Li Hui-Fang,Fan Yu-Shun.Workflow model analysis based on time constraint petri nets[J].Journal of Software,2004,15(1):17-26.[20] Jin Hyun Son,Myoung Ho Kim.Improving the performance of time-constrained workflow processing[J].The Journal of Systems and Software,2001,58(3):211-219.[21] Ling S,Schmidt H.Time Petri nets for workflow modeling and analysis.Proceedings of the IEEE international Conference on Advanced Information System,Man and Cybernetics.Nashville,TN,USA:IEEE Press,2000.3039-3044.[22] Dongsheng Liu,Jianmin wang,Stephen C F Chan.Modeling workflow processes with colored Petri nets[J].Computer in Industry,2002,49(3):267-281.[23] Injun Choi,Chlsoon Park Changwoo Lee.Task net: Transactional workflow model based on colored Petri net[J].European Journal of Operational Research,2002,136(2):383-402.[24] Lichih Wang,Shaoying Wu.Modeling with colored timed object-oriented Petri nets for automated manufacturing systems[J].Computers Ind Eng.1998,34(2):463-480.[25] Andreas Geppert,Dimitrios Tombros,Klaus R Dittrich.Defining the semantics of reactive components in event-driven workflow execution with event histories[J].Information System,1998,23(4):235-252.[26] 胡乃静,顾宁,施伯乐.基于语义约束资源工作流并发正确性保证[J].计算机研究与发展,2003,40(5):712-719. HU Nai-Jing,GU Ning,and SHI Bai-Le.Correctness of concurrency based on semantic constraint resource workflow[J].Journal of Computer Research and Development,2003,40(5):712-719.(in Chinese) |