Time Petri Nets for performance evaluation of composite web services architectures | IEEE Conference Publication | IEEE Xplore