G. Petrosyan, “Modeling FIFO Queues by Dynamic Petri Nets”, MPCS, vol. 38, pp. 84–86, Dec. 2021.