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