Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is a well known graphical formalism, able to model concurrency and different types of communication. CPNs extend Petri nets with timing, hierarchy, data, and programming language constructs, which makes them suitable for the modeling of grids. We use our grid model to evaluate a strategy for the optimization of data usage in grid environments. Our strategy is based on the automatic addition of clean-up tasks to grid workflows. By means of simulation we show that this strategy significantly reduces the amount of storage space needed to execute a grid application.
Nikola Trcka, Wil M. P. van der Aalst, Carmen Brat