Approach for Modeling Search Web-Services Based on Color Petri Nets

The article discusses issues related to the construction and implementation of search web services. Algebra for modeling and building web services is presented. As the basic operations for algebra are used: sequence, alternative selection and cycle. In addition, combined operations are determined based on the basic ones. The operations were chosen to provide a general and extended set of operations for the implementation of web search services. After defining each construction, the formal semantics of the operator is given in terms of Petri nets. An example of modeling and development of a real estate web-service in the CPN Tools. The indexes of efficiency of the developed service.