Level Petri Nets are formalism for modeling hierarchical multi-agent system. They are a Petri nets extension, allowing tokens to be nets themselves. This paper is inspired by two classes of level Petri nets: object Petri ...