Pervasive computing is the next generation computing paradigm, which not only enables users to compute “everywhere, all the time”, but also distinguishes itself from mobile computing and distributed computing in terms of invisibility, heterogeneity,
This paper considers Web service as a process net and defines it as an extended Petri net, in order to inherit the closure property of Petri nets. Some operators in the web service calculus are illustrated and mapped to the Petri nets operation. The
