Email Record: Advances in Petri nets 1990 /