Prange, U. Algebraic High-Level Nets As Weak Adhesive HLR Categories. ECEASST 2007, 2.