Title: Application and theory of Petri nets 2002