Objevování odvozených podmínek v precedenčních grafech s alternativami

Abstrakt

Článek popisuje a porovnává tři metody pro detekci implikovaných podmínek v modelech popisujících výrobní procesy se sériovými, paralelními a alternativními operacemi.

Klíčová slova

• odvozenépodmínky
• precedenční grafy
• alternativní uzly