Simulating algebraic high level nets by parallel attributed graph transformation long version - Ermel, Claudia; Taentzer, Gabriele 1963-; Bardohl, Roswitha (Techn. Univ., Fak. IV, Elektrotechnik und Informatik, 2004)