J. Padberg, “Abstract Interleaving Semantics for Reconfigurable Petri Nets”, ECEASST, vol. 51, Nov. 2012.