Nets-Within-Nets paradigm and grid computing

Authors:
Marco Mascheroni;Fabio Farina
Affiliations:
Dipartimento di Informatica, Sistemistica e Comunicazione, Universitá degli Studi di Milano Bicocca, Milano, Italy;Dipartimento di Informatica, Sistemistica e Comunicazione, Universitá degli Studi di Milano Bicocca, Milano, Italy
Venue:
Transactions on Petri Nets and Other Models of Concurrency V
Year:
2012

Citing 15
Cited 0

Checking C programs with lint

Checking C programs with lint
Grid Services for Distributed System Integration

Computer
Nets in Computer Organisation

Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
Petri Nets as Token Objects: An Introduction to Elementary Object Nets

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
The Grid 2: Blueprint for a New Computing Infrastructure

The Grid 2: Blueprint for a New Computing Infrastructure
Grid-Flow: a Grid-enabled scientific workflow system with a Petri-net-based interface: Research Articles

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Workflows for e-Science: Scientific Workflows for Grids

Workflows for e-Science: Scientific Workflows for Grids
Object nets for mobility

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Modeling symport/antiport P systems with a class of hierarchical Petri nets

WMC'07 Proceedings of the 8th international conference on Membrane computing
Formal modelling and initial validation of the chelonia distributed storage system

GPC'11 Proceedings of the 6th international conference on Advances in grid and pervasive computing
A grid workflow language using high-level petri nets

PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Nested nets for adaptive systems

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
High-level nets with nets and rules as tokens

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Modelling mobility with petri hypernets

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
The NEO protocol for large-scale distributed database systems: modelling and initial verification

PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

Grid is one of the most effective new paradigms in large scale distributed computing. Only recently Petri nets have been adopted as a formal modeling framework for describing some features related to Grid infrastructures: mostly related to the description of large-scale dynamic workflows. 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 affecting the current implementation.