Claudia Ermel Gabriele Taentzer Roswitha Bardohl Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. 64-83 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3393&spage=64 2005 conf/birthday/2005ehrig Formal Methods in Software and Systems Modeling db/conf/birthday/ehrig2005.html#ErmelTB05