A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures

Object based Petri nets are becoming increasingly popular in many fields of computer science. The possibility to model real-world objects as separate Petri nets supports the need for modular design of complex systems. So far object net approaches have been based on the presumption that the object nets' structure remains unchanged in all processes. This paper sheds some light on possible extensions of high-level Petri nets to incorporate the dynamical evolution of Petri net structures. The exposition is based on the Linear Logic encoding of Petri nets ([1], [12]) and coloured Petri nets ([4]). It provides a basic semantics for modifying net structures which can be employed in a framework of nets within nets, i.e. situations where Petri nets (so-called token nets) themselves are used as tokens in an underlying environment net.