Petri Nets - Diaz Nichael (Rajawali, 2009)