Service-oriented design in aspect-oriented and Petri net-based approach