The main property of these ambients is that they can be moved to a new location thus modeling mobility. Elementary Object Systems are two-level net systems ...

In this section we give a short overview of our basic model of ambient Petri nets. A simple ambient Petri net is a finite collection of named Petri nets A =.

This paper proposes an approach to mapping Petri nets onto CCA. This allows for the graphical language of Petri nets to be used in combination with CCA.

To model ambient systems, the step-modelling approach and a vari- ant class of Coloured Petri Nets, the Ambient Petri Nets (APNs), are introduced.

Recently we have introduced Ambient Petri nets, as a multilevel extension of the Elementary Object Systems, that can be used to model the concept of nested ...

In this paper, we propose a new approach that allows 1) to model the ambient systems as a multi agent systems, and 2) to model both local context of each ...

Recently we have introduced Ambient Petri nets, as a multilevel extension of the Elementary Object Systems, that can be used to model the concept of nested ...

In this paper, we propose a new approach that allows 1) to model the ambient systems as a multi agent systems, and 2) to model both local context of each ...

This paper is concerned with the formal modelling of Ambient Systems, focussing on the issues that emerge in their modelling using coloured Petri nets.

Recently we have introduced Ambient Petri nets, as a multilevel extension of the Elementary Object Systems, that can be used to model the concept of nested ...