Web Service Automatic Composition Model Based on Colored Petri Nets

Communications and Network ◽

10.4236/cn.2013.51b023 ◽

2013 ◽

Vol 05 (01) ◽

pp. 101-105 ◽

Author(s):

Kai Nie ◽

Houxiang Wang ◽

Xiaopei Jing ◽

Zhihao Xie

Keyword(s):

Web Service ◽

Colored Petri Nets ◽

Model Based ◽

Automatic Composition

Download Full-text

Attack Composition Model Based on Generalized Stochastic Colored Petri Nets

JOURNAL OF ELECTRONICS INFORMATION TECHNOLOGY ◽

10.3724/sp.j.1146.2013.00090 ◽

2014 ◽

Vol 35 (11) ◽

pp. 2608-2614

Author(s):

Xiang Gao ◽

Yue-fei Zhu ◽

Sheng-li Liu

Keyword(s):

Colored Petri Nets ◽

Download Full-text

Web Service Interaction Modeling with Colored Petri Nets

2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) ◽

10.1109/idaacs.2019.8924400 ◽

2019 ◽

Author(s):

Aleksandr Gozhyj ◽

Irina Kalinina ◽

Victor Gozhyj ◽

Victoria Vysotska

Keyword(s):

Web Service ◽

Colored Petri Nets ◽

Service Interaction ◽

Interaction Modeling

Download Full-text

Executable Model-Based Risk Analysis Method for Identity Management Systems: Using Hierarchical Colored Petri Nets

Trust, Privacy, and Security in Digital Business - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40343-9_5 ◽

2013 ◽

pp. 48-61 ◽

Author(s):

Ebenezer Paintsil ◽

Lothar Fritsch

Keyword(s):

Risk Analysis ◽

Identity Management ◽

Colored Petri Nets ◽

Management Systems ◽

Analysis Method ◽

Model Based ◽

Identity Management Systems ◽

Executable Model

Download Full-text

AI Planning for Web Service Automatic Composition Using Petri Nets

2007 11th International Conference on Computer Supported Cooperative Work in Design ◽

10.1109/cscwd.2007.4281490 ◽

2007 ◽

Author(s):

Zhijun Ding ◽

Junli Wang ◽

Hong Song

Keyword(s):

Web Service ◽

Ai Planning ◽

Automatic Composition

Download Full-text

Test case generation for BPEL-based web service composition using Colored Petri Nets

2016 International Conference on Progress in Informatics and Computing (PIC) ◽

10.1109/pic.2016.7949575 ◽

2016 ◽

Author(s):

Hosney Jahan ◽

Sana Rao ◽

Dongmei Liu

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Colored Petri Nets ◽

Test Case Generation ◽

Download Full-text

Composition and Reduction of Web Service Based on Dynamic Timed Colored Petri Nets

2009 IEEE International Symposium on Parallel and Distributed Processing with Applications ◽

10.1109/ispa.2009.21 ◽

2009 ◽

Author(s):

Yaojun Han ◽

Xumei Luo

Keyword(s):

Web Service ◽

Colored Petri Nets ◽

Timed Colored Petri Nets

Download Full-text

Model-Based Monitoring and Adaptation of Pacemaker Behavior Using Hierarchical Fuzzy Colored Petri-Nets

IEEE Transactions on Systems Man and Cybernetics Systems ◽

10.1109/tsmc.2018.2861718 ◽

2020 ◽

Vol 50 (9) ◽

pp. 3344-3357

Author(s):

Negar Majma ◽

Seyed Morteza Babamir

Keyword(s):

Colored Petri Nets ◽

Download Full-text

Modeling and Analysis of SMER Constraints Violation in IRBAC 2000 Model Based on Colored Petri Nets

International Journal of Security and Its Applications ◽

10.14257/ijsia.2014.8.1.03 ◽

2014 ◽

Vol 8 (1) ◽

pp. 19-32 ◽

Author(s):

Meng Liu ◽

Xuan Wang

Keyword(s):

Colored Petri Nets ◽

Modeling And Analysis ◽

Download Full-text

Colored Petri nets model based conformance test generation

2011 IEEE Symposium on Computers and Communications (ISCC) ◽

10.1109/iscc.2011.5983967 ◽

2011 ◽

Author(s):

Jing Liu ◽

Xinming Ye ◽

Jun Li

Keyword(s):

Test Generation ◽

Colored Petri Nets ◽

Conformance Test ◽

Download Full-text

Analyzing Web Service Choreography Specifications Using Colored Petri Nets

Service-Oriented Perspectives in Design Science Research - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20633-7_30 ◽

2011 ◽

pp. 412-426 ◽

Author(s):

Enrique Caliz ◽

Karthikeyan Umapathy ◽

Arturo J. Sánchez-Ruíz ◽

Sherif A. Elfayoumy

Keyword(s):

Web Service ◽

Colored Petri Nets ◽

Service Choreography

Download Full-text