TY - BOOK AU - Aoumeur,Nasreddine AU - Saake,Gunter TI - On the Benefits of Rewrite Logic as a Semantics for Algebraic Petri Nets in Computing Simphons and Traps PY - 2001/// CY - Magdeburg PB - Otto von Guericke Universitat N1 - bibliogr ER -