Davidrajuh, Reggie. <br/><br/>
Implementing colored Petri Nets with GPenSIM / 
 Implementacja kolorowanych sieci Petriego za pomoca GPenSIM 
Reggie Davidrajuh, Bożena Skołud. 
<br/><br/> Tytuł nagłówkowy. 
<br/><br/>Bibliografia na stronie 60. 
<br/><br/><br/>Streszczenia w językach polskim i angielskim.