A user requirement oriented web service discovery approach based on logic and threshold petri net | IEEE Journals & Magazine | IEEE Xplore