Text this: PETRI NETS FUNDAMENTAL MODELS, VERIFICATION AND APLLICATIONS