Dynamic Petri-nets: a new modeling technique for sensor networks and distributed concurrent systems

This paper introduces and describes a new extension to Petri-nets that enable additional mechanisms for the modeling of dynamic distributed and concurrent behavior. The extensions provide for the creation and destruction of conventional Petri-net Places and transitions inducing dynamic behavior of Petri-Net operation. Thus the structure of the Petri-net, i.e. the interconnection of places and transitions, will evolve over time. The paper introduces specific rules for the place/transition modifications, and presents some new and well known properties of Petri-nets under these modifications. A many sorted algebraic model of the DPN is presented that formally describes the techniques and relationships presented informally. Finally, an example of the use of these extensions is included.