Subtyping for Hierarchical, Reconfigurable Petri Nets
Discrete Mathematics
2018-02-14 v1 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.1802.04698,
title = {Subtyping for Hierarchical, Reconfigurable Petri Nets},
author = {Julia Padberg},
journal= {arXiv preprint arXiv:1802.04698},
year = {2018}
}