Golas, U.; Hoffmann, K.; Ehrig, H.; Rein, A.; Padberg, J. Functorial Analysis of Algebraic Higher-Order Net Systems With Applications to Mobile Ad-Hoc Networks. eceasst 2011, 40.