let inserterlinks1="10.32614/CRAN.package.petrinetR . https://github.com/bupaverse/petrinetR/issues . https://github.com/bupaverse/petrinetR . petrinetR results .  petrinetR.pdf  .  petrinetR_0.3.0.tar.gz  . petrinetR_0.3.0.zip . petrinetR_0.3.0.zip . petrinetR_0.3.0.zip . petrinetR_0.3.0.tgz . petrinetR_0.3.0.tgz . petrinetR_0.3.0.tgz . petrinetR_0.3.0.tgz .  petrinetR archive  . https://CRAN.R-project.org/package=petrinetR . "; var inner3235232 = document.getElementById("inserterlinks1") inner3235232.innerHTML = inserterlinks1;