Advances in Petri nets with University of Turin and Technical University of Budapest