Čapkovič, F. Modelling and Control of Resource Allocation Systems Within Discrete Event Systems by Means of Petri Nets – Part 1: Invariants, Siphons and Traps in Deadlock Avoidance. Comput. Inform. 2021, 40, 648–689.