Email Record: Application and theory of petri nets 1999 :