This article describes how incorporating temporal constraints in web service composition results in more complex models and makes the verification of temporal consistency during the modeling and execution crucial. This article proposes a model named H-Service-Net based on the time petri net...