罗海滨,范玉顺,吴澄.工作流技术综述[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]
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.
[3]
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.
[4]
陈翔,夏国平.基于着色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)
[5]
林闯,田立勤,魏丫丫.工作流系统模型的性能等价分析[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)
Mrata T.Petri nets:Properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4):541-580.
[8]
庞善臣,蒋昌俊,孙萍,周长红.共享合成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)
[9]
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.
[10]
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.
[11]
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.
[12]
Li Hui-Fang,Fan Yu-Shun.Workflow model analysis based on time constraint petri nets[J].Journal of Software,2004,15(1):17-26.
[13]
Dongsheng Liu,Jianmin wang,Stephen C F Chan.Modeling workflow processes with colored Petri nets[J].Computer in Industry,2002,49(3):267-281.
[14]
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.
[15]
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.
[16]
李建强,范玉顺.一种工作流模型的性能分析方法[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)
[17]
李炜,曾广周,王晓琳.一种基于时间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)
[18]
刘婷,林闯,刘卫东.基于时间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)
[19]
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.
[20]
杜玉越,蒋昌俊.基于工作流网的实时协同系统模拟技术[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)
[21]
李建强,范玉顺.工作流模型时间有界性验证与分析研究[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)
[22]
袁崇义.Petri网原理与应用[M].北京:电子工业出版社,2005.225-258.
[23]
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.
[24]
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.
[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)
