Simulácia systémov reálneho času použitím Petriho sietí - Tran, Viet Dinh (Slovenská technická univerzita v Bratislave, 1996)