Petri Net. Theory and applications