Text this: Modelovanie a riadenie hybridných systémov s využitím Petriho sietí vyšších úrovní :