Computer Science ›› 2015, Vol. 42 ›› Issue (10): 180-183.
Previous Articles Next Articles
FANG Qing-hua, SU Jin-hai, LING Zu-rang and HUA Dong-dong
| [1] IEEE Standards Coordinating Committee 20.IEEE Std 1671-2010,IEEE Standard for Automatic Test Markup Language (ATML) for Exchanging Automatic Test Equipment and Test Information via XML[S].USA:IEEE-SA Standards Board,2010 [2] IEEE Standards Coordinating Committee 20.IEEE Std 1671.1-2009,IEEE Trial-Use Standard for Automatic Test Markup Language (ATML) for Exchanging Automatic Test Equipment and Test Information via XML:Exchanging Test Descriptions[S].USA:IEEE-SA Standards Board,2009 [3] Muth P,Wodtke D,Weissenfels J.Enterprise-Wide workflowmanagement based on state and activity charts.http://paris.cs.uni-sb.de/public_html/papers/nato-wf:ps [4] Scholz-Reiter B,Stichel E.Business process modeing[M]Berlin:Springer-Verlag,1996 [5] 袁崇义.Petri网原理与应用[M].北京:电子工业出版社,2005:225-258 Yuan Cong-yi.The Theory and Application of Petri Nets[M].Beijing:Publishing Company of Electric Industry,2005:225-258 [6] 罗海滨,范玉顺,吴澄.工作流合理性验证中的事件平衡分析[J].软件学报,2002,13(8):1686-1691 Luo Hai-bin,Fan Yu-shun,Wu Cheng.Analysis of event balance in the verification of workflow soundness[J].Journal of Software,2002,13(8):1686-1691 [7] Ernst W M,Jeremias W.Results on Equivalence,Boundedness,Liveness,and Covering Problems of Bpp-Petri Nets[C]∥Application and Theory of Petri Nets and Concurrency 2013.Milan,Italy Jose-Manuel Colom,2013:70-90 [8] 庞善臣,蒋昌俊.一种基于不变量结构分解的工作流性能分析方法[J].计算机学报,2010,33(5):908-917Pang Shan-chen,Jiang Chang-jun.Workflow Performance Analy-sis Based on Invariant Decomposition Algorithm[J].Chinese Journal of Computer,2010,33(5):908-917 |
| No related articles found! |
|
||