Queueing systems modeling by Petri nets: Monograph Saarbrücken, 2018, Oleh Kuzm