Aoumeur, Nasreddine. <br/><br/>
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. 
<br/><br/>bibliogr. 
<br/><br/><label>Uniwersalna Klasyfikacja Dziesiętna: </label> 004