Web Service Interaction Modeling with Colored Petri Nets

The investigation focuses on the use of Petri Nets for web services interaction modeling. It is discovered that Hierarchical Time Petri Nets is the most effective way to create web service interaction models. That is due to the fact that they can be used to build hierarchical models of complex systems, and investigate their dynamics. Moreover, the research describes a custom algebra-algorithmic system. It comprises the basis for further web services semantics and description. The models are developed with the custom algebra-algorithmic system operations. Service models are created with Petri colored nets. Models and imitational modeling are performed in the CPN-tools environment.