An Object-Oriented Modular Petri Nets for Modeling Service Oriented Applications | IEEE Conference Publication | IEEE Xplore