Text this: Aplikácia na modelovanie, analýzu a syntézu Petriho sietí