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