Höhere Petrinetze Um Systeme, die mobile Komponenten als Teilsysteme enthalten, einheitlich zu beschreiben, wurden Petrinetzformalismen entwickelt, bei denen die Marken wiederum als Netzinstanzen interpretiert werden.