K. Gabriel, “Process Evolution based on Transformation of Algebraic High-Level Nets with Applications to Communication Platforms”, ECEASST, vol. 51, Nov. 2012.