Advances in Petri Net