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