Padberg, J. Abstract Interleaving Semantics for Reconfigurable Petri Nets. ECEASST 2012, 51.