In this paper we aim to set up a framework for object Petri net semantics, allowing the modification of object net structures at runtime. The approach uses linear logic Petri nets (LLPNs) and performs the structure modification on a linear logic encoding of the object net. In addition, Valk’s self-modifying Petri nets are shown to be subsumed by LLPNs. We expand on the existing theory of Farwer...
