Petri Net: Theory and Applications