2000 character limit reached
Subtyping for Hierarchical, Reconfigurable Petri Nets (1802.04698v1)
Published 13 Feb 2018 in cs.DM and cs.LO
Abstract: Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding hierarchical structure for reconfigurable Petri nets. Hierarchies are established by substituting transitions by subnets. These subnets are themselves reconfigurable, so they are supplied with their own set of rules. Moreover, global rules that can be applied in all of the net, are provided.