A Verification Method Based On Petri Net for Online Student Registration Web Service Composition Journal title: International Journal of Advanced Research in Computer Engineering & Technology(IJARCET) Authors: A.Kumaravel Subject(s):