Queueing systems modeling by Petri nets