Simulation Modeling and Analysis of Business Process
A Petri Net-based Model for Web Service Composition