Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- Petri net 2
- reachability graph 2
- transition rule 2
- граф досяжності
- мережа Петрі 2
- anticipation 1
- coverability tree 1
- limit reachability 1
- next-state function 1
- real-valued function 1
- sequence of transition firings 1
- strong anticipation 1
- антиcипація 1
- гранична досяжність 1
- дерево покриття 1
- послідовність запусків переходів 1
- правило запуску переходу 1
- сильна антиcипація 1
- умова запуску переходу 1
- функція наступного стану 1
- цілочислова функція 1
-
1
-
2