Petri Net, Theory and Applications