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