How do you model asynchronous processes?

In computers with multiple processors, homogenous or heterogeneous clusters what tools do you use to model the processes (operating systems, drivers, and applications).