{"id":7,"date":"2014-01-25T08:13:26","date_gmt":"2014-01-25T07:13:26","guid":{"rendered":"http:\/\/mdslab.unime.it\/~acaristia\/?page_id=7"},"modified":"2021-05-22T15:51:43","modified_gmt":"2021-05-22T13:51:43","slug":"home","status":"publish","type":"page","link":"https:\/\/webspn.unime.it\/","title":{"rendered":"Home"},"content":{"rendered":"<p style=\"text-align: justify;\">WebSPN is a modeling tool for the analysis of non-Markovian stochastic Petri nets (NMSPN). It is developed by the research group leaded by prof. <a href=\"http:\/\/mdslab.unime.it\/mscarpa\" target=\"_blank\" rel=\"noopener\">Marco Scarpa<\/a> at the Department\u00a0 of Engineeering &#8211; \u00a0<a href=\"http:\/\/www.unime.it\/dipartimenti\/ingegneria\" target=\"_blank\" rel=\"noopener\">University of Messina<\/a>.<\/p>\n<p style=\"text-align: justify;\">It provides a continuous time, a discrete time, and a simulated solution of NMSPNs which results in the possibility to analyse a wider class of models with multiple preemptive repeat different (prd), preemptive resume (prs),\u00a0and preemptive repeat\u00a0identical (pri)\u00a0concurrently enabled generally distributed transitions.<\/p>\n<p style=\"text-align: justify;\">WebSPN 3.3 is based on the client-server paradigm and makes wide use of C, C++, and Java technologies. The client side of the application (a Java graphical user interface running on the modeler machine) allows the modeler to graphically design NMSPN models. The server side of the application (a Java wrapper daemon possibly running on a remote server) allows to concurrently solve NMSPN models through the use of a set of analysis engines (written in C\/C++).<\/p>\n<p style=\"text-align: justify;\"><!--\u00a0If you want to try WebSPN tool, you first need to register to this Web site by clicking on\u00a0<a title=\"Registration\" href=\"https:\/\/webspn.unime.it\/?page_id=17\" target=\"_blank\" rel=\"noopener\">Registration<\/a>\u00a0in the menu above. If you are already registered, you can log into the Web site by clicking on <a href=\"https:\/\/webspn.unime.it\/wp-login.php?redirect_to=%2F\">Login<\/a>\u00a0and inserting the credential you received via email. After login, you will be able to download WebSPN by clicking on <a href=\"https:\/\/webspn.unime.it\/?page_id=19\">Download<\/a>. --><\/p>\n<p style=\"text-align: justify;\">WebSPN is provided for free for non-commercial use. If you want to try WebSPN you can download it by clicking on <a href=\"https:\/\/webspn.unime.it\/?page_id=19\">Download<\/a>.<\/p>\n<p style=\"text-align: justify;\">For installation instructions, please check the README files found in all the packages or refer to the <a title=\"Installation\" href=\"https:\/\/webspn.unime.it\/?page_id=330\">Installation<\/a> page.<\/p>\n<p style=\"text-align: justify;\"><span style=\"line-height: 25.9259300231934px;\">An overview about how to use WebSPN for studying NMSPNs can be found in the Help menu of the client or in the <a title=\"Overview\" href=\"https:\/\/webspn.unime.it\/?page_id=9\">Overview<\/a> page on this Web site.<br \/><\/span><\/p>\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>WebSPN is a modeling tool for the analysis of non-Markovian stochastic Petri nets (NMSPN). It is developed by the research group leaded [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/webspn.unime.it\/index.php?rest_route=\/wp\/v2\/pages\/7"}],"collection":[{"href":"https:\/\/webspn.unime.it\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/webspn.unime.it\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/webspn.unime.it\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/webspn.unime.it\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=7"}],"version-history":[{"count":31,"href":"https:\/\/webspn.unime.it\/index.php?rest_route=\/wp\/v2\/pages\/7\/revisions"}],"predecessor-version":[{"id":1024,"href":"https:\/\/webspn.unime.it\/index.php?rest_route=\/wp\/v2\/pages\/7\/revisions\/1024"}],"wp:attachment":[{"href":"https:\/\/webspn.unime.it\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=7"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}