On the Benefits of Rewrite Logic as a Semantics for Algebraic Petri Nets in Computing Simphons and Traps /

Aoumeur, Nasreddine.

On the Benefits of Rewrite Logic as a Semantics for Algebraic Petri Nets in Computing Simphons and Traps / Nasreddine Aoumeur, Gunter Saake. - Magdeburg : Otto von Guericke Universitat, 2001. - 29 s. : il. ; 29 cm.

bibliogr.

004