An Aspect-Based Web Service Composition Model Based on Petri Net