Subtyping for Hierarchical, Reconfigurable Petri Nets - Julia Padberg (De.arxiv.org, 2018)