U. Golas, K. Hoffmann, H. Ehrig, A. Rein, and J. Padberg, “Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks”, eceasst, vol. 40, Aug. 2011.