Skip to Main Content
Petri nets have been proposed initially to model concurrency and distributed systems. The ordinary formalism is so simple with a smart formal background, but it fails in modeling mobility aspects. In spite of this, searchers in mobility modeling domain are attracted by Petri nets, and many extensions have been proposed to treat mobility aspects. Among these, we find Labeled Reconfigurable Nets (LRN), This new formalism allows explicit modeling of computational environments and processes mobility between them. It allows, in a simple and an intuitive approach, modeling mobile code paradigms (mobile agent, code on demand, remote evaluation). In this paper, we propose an approach based on the combined use of Meta-modeling and Graph Grammars to automatically generate a visual modeling tool for LRN, for analysis and simulation purposes. This tool produces graphical models, highly-structured to reach this goal. In our approach, the UML Class diagram formalism is used to define a meta-model of LRN. The meta-modeling tool ATOM3 is used to generate a visual modeling tool according to the proposed LRN meta-model. To generate R-Maude specification of the graphically specified LRN models, we have proposed a graph grammar. Then the reconfigurable rewriting logic language R-Maude can be used to perform the simulation of the resulted R-Maude specification. Our approach is illustrated through examples.