Petri nets theory and applications