TY - RPRT TI - Subtyping for Hierarchical, Reconfigurable Petri Nets AU - Julia Padberg PY - 2018 UR - https://arxiv.org/abs/1802.04698 ID - 1802.04698 ER -