Usage of CPN Models in Web Service Compositions-A Survey
Poonkavithai Kalamegam · 2017
A web service composition is a procedure of bringing together several web services to accomplish the business process. Colored Petri Nets (CPN) model has been widely used in both model based testing and verification of design correctness of web service composition. In this paper the existing approaches that uses CPN model for design verification of the web service composition are analyzed.