Advances in Petri Nets