Modelovanie a riadenie diskrétnych udalostných dynamických systémov s využitím Petriho sietí a iných nástrojov - Hrúz, Branislav (Slovenská technická univerzita v Bratislave, 2003)