Simulation of Petri nets in scattered context grammars

Usually, Petri nets are used as a mean to model some particular system, or its part. There are many reasons as demonstration purposes, clarity, features, formal definition, properties of certain sub-classes of Petri nets, etc. In this paper, we present an approach, how the Petri nets can be represented in scattered context grammars. Not only the construction itself, but even formal definition of particular properties-liveness and boundedness. Proving of these properties can be transferred to proving another property over derivations of scattered context grammars thus.