div class=trans-pagebuttonPage 1button div class=trans-image a href=https:reader039fdokumencomreader039viewer2023051322634344e7c87a0f2c260640f4html5page1jpg target=_blank amp-img class=trans-thumb alt=Page 1: Model checking of persistent Petri nets src=https:reader039fdokumencomreader039viewer2023051322634344e7c87a0f2c260640f4html5thumbnails1jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=trans-pagebuttonPage 2button div class=trans-image a href=https:reader039fdokumencomreader039viewer2023051322634344e7c87a0f2c260640f4html5page2jpg target=_blank amp-img class=trans-thumb alt=Page 2: Model checking of persistent Petri nets src=https:reader039fdokumencomreader039viewer2023051322634344e7c87a0f2c260640f4html5thumbnails2jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=trans-pagebuttonPage 3button div class=trans-image a href=https:reader039fdokumencomreader039viewer2023051322634344e7c87a0f2c260640f4html5page3jpg target=_blank amp-img class=trans-thumb alt=Page 3: Model checking of persistent Petri nets src=https:reader039fdokumencomreader039viewer2023051322634344e7c87a0f2c260640f4html5thumbnails3jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=trans-pagebuttonPage 4button div class=trans-image a href=https:reader039fdokumencomreader039viewer2023051322634344e7c87a0f2c260640f4html5page4jpg target=_blank amp-img class=trans-thumb alt=Page 4: Model checking of persistent Petri nets src=https:reader039fdokumencomreader039viewer2023051322634344e7c87a0f2c260640f4html5thumbnails4jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=trans-pagebuttonPage 5button div class=trans-image a href=https:reader039fdokumencomreader039viewer2023051322634344e7c87a0f2c260640f4html5page5jpg target=_blank amp-img class=trans-thumb alt=Page 5: Model checking of persistent Petri nets src=https:reader039fdokumencomreader039viewer2023051322634344e7c87a0f2c260640f4html5thumbnails5jpg width=142 height=106 layout=responsive...