Service net algebra based on logic Petri nets

Web service process reuse can help us efficiently to construct a new service or service process by using the existing service processes generated by service composition. Since service requests are characteristic of multiformity, the existing service processes can hardly be reused unless they are mod