Advances in Petri Nets 1989