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