PETRI NETS FUNDAMENTAL MODELS, VERIFICATION AND APLLICATIONS - DIAZ, MICHAEL (Rajawali, 2001)