Lectures on Petri nets advances in Petri nets