Nets-Within-Nets paradigm and grid computing

Abstract. Grid is one of the most eective new paradigms in large scale distributed computing. Only recently Petri nets have been adopted as a formal modeling framework for describing the specic aspects of the Grid. In this paper we describe a Grid tool for High Energy Physics data analysis, and we show how modeling its architecture with nets-within-nets has led us to identify and solve a number of defects aecting the current implementation.