Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems