Title: Advances in Petri Nets 1990