Email Record: Application and theory of Petri nets 1997 :