Computer Science ›› 2014, Vol. 41 ›› Issue (7): 77-80.doi: 10.11896/j.issn.1002-137X.2014.07.015
Previous Articles Next Articles
YANG Yan,FANG Xian-wen and LIU Xiang-wei
[1] Ezzedine H,Kolski C.Petri Net,Theory and Applications [M].Croatia:Vedran Kordic,2008:131-148 [2] Bennoui H,Chaoui A,Barkaoui K.On Structural Analysis of Interacting Behavioral Petri Nets for Distributed Casual Model-Based Diagnosis[J].International Journal of Foundations of Computer Science,2012,23(7):1523-1541 [3] Decker G,Weske M.Behavioral consistency for B2B process integration[C]∥CAiSE’07Proceedings of the 19th International Conference on Advanced Information Systems Engineering,2007.Berlin Heidelberg:Springer-Verlag,2007:81-95 [4] Weidlich M,Weske M,Mendling J.Change propagation inprocess models using behavioural profiles [C]∥IEEE Int.Conf.on Services Computing.Bangalore,2009:33-40 [5] Fang Xian-wen,Hao Wen-jun,Yin Zhi-xiang,et al.The Analysis Method about Change Domain of Business Process Model Based on the Behavior Profile of Petri Net[J].Applied Mathematics & Information Sciences,2012,6(S3):943-949 [6] 朱俊.基于Petri网的Web服务组合的交互模型及其应用机理的研究[D].长沙:国防科学技术大学,2011 (下转第85页)(上接第80页) [7] 朱俊,郭长国,吴泉源.基于Petri网的Web服务交互行为一致性检测方法[J].计算机工程与科学,2013,35:28-33 [8] Murata T.Petri nets:Properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4):541-580 [9] Smirnov S,Weidlich M,Mendling J.Business Process ModelAbstraction Based on Synthesis From Well-Structured Beha-vioral Profiles[J].Cooperative Information Systems,2012,21(1):55-83 [10] Weidlich M,Mendling J,Weske M,et al.Causal BehaviouralProfiles-Efficient Computation,Applications,and Evaluation[J].Fundamenta Informaticae:Applications and Theory of Petri Nets and Other Models of Concurrency,2011,113(3/4):399-435 [11] Koskinen J,Kettunen M,Systa T.Behavioral profiles—a way to model and validate program behavior[J].Software:Practice & Experience,2010,40(8):701-733 [12] Du Yu-yue,Jiang Chang-jun.A Formal Approach for Obligation Analysis of E-Commerce[J].Chinese Journal of Electronics,2008,17(2):200-204 [13] 钱柱中,陆桑璐,谢立.基于Petri网的Web服务自动组合研究[J].计算机学报,2006,9(7):1057-1066 [14] 汤宪飞,蒋昌俊,丁志军.基于Petri网的语义Web服务自动组合方法[J].软件学报,2007,8(12):2991-3000 [15] 吴哲辉.Petri网理论[M].北京:机械工业出版社,2006:6-42 |
No related articles found! |
|