Modelování

Pravidlo 20: Pseudostav fork

Pseudostav fork má za úkol rozdělit přechod z jednoho stavu na přechod do více stavů. Jelikož platí podmínka, že stavový automat na úrovni jednoho regionu smí být právě v jednom stavu, platí další dvě pravidla, která je […]