50 Year of Petri Nets