{"id":956,"date":"2013-06-17T14:51:04","date_gmt":"2013-06-17T12:51:04","guid":{"rendered":"https:\/\/project.inria.fr\/plasma-lab\/?page_id=956"},"modified":"2015-03-19T13:41:26","modified_gmt":"2015-03-19T12:41:26","slug":"how-to-simulate-a-model","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/plasma-lab\/documentation\/tutorial\/how-to-simulate-a-model\/","title":{"rendered":"How to simulate a model"},"content":{"rendered":"<p><div class=\"alert alert-warning\" role=\"alert\"><p class=\"printonly\"><strong>Warning!<\/strong><\/p><strong>Prerequisite<\/strong><br \/>\nFor this tutorial we assume that you have a opened a model and a property. If you don&#8217;t know how to do that please refer to <a href=\"http:\/\/project.inria.fr\/plasma-lab\/open-and-edit-a-project\">step 1<\/a>.<\/div><\/p>\n<p>The <strong>simulation panel<\/strong> allows to generate one trace step-by-step, and to look at the values of the model&#8217;s variables and the properties along this trace. It is made of four different areas which are:<\/p>\n<ul>\n<li>A data selection panel<\/li>\n<li>A simulation control panel<\/li>\n<\/ul>\n<ul>\n<li>A properties panel<\/li>\n<li>A simulation result panel<\/li>\n<\/ul>\n<div style=\"width: 446px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/plasma-lab.gforge.inria.fr\/plasma_lab_images\/plasma_simulation.png\"><img loading=\"lazy\" decoding=\"async\" class=\" \" alt=\"\" src=\"http:\/\/plasma-lab.gforge.inria.fr\/plasma_lab_images\/plasma_simulation.png\" width=\"436\" height=\"289\" \/><\/a><p class=\"wp-caption-text\">Simulation panel<\/p><\/div>\n<p style=\"text-align: justify;\">In order to simulate our model we select the project and the model from the data selection panel. We can also select properties to check during the simulation but this is not mandatory.<\/p>\n<p style=\"text-align: justify;\">To start a new trace we use the <strong>new path button<\/strong> in the simulation control panel. The initial state of our model appears in the simulation result panel. We can then <strong>simulate<\/strong> the model for one or several <strong>steps<\/strong> or <strong>backtrack<\/strong> the simulation using the corresponding button.<\/p>\n<p style=\"text-align: justify;\">When the simulation progress or when we select a specific state, <strong>values are updated<\/strong> in the property panel such that it displays the result of checking the properties on the trace up to the selected state.<\/p>\n<p>Alternatively to the simulation result panel, we can use the plot panel. This panel allow us to draw <strong>2D or 3D plot<\/strong>. To draw a 2D plot showing the evolution of p1 against time select the blank value in the X combo box (the empty identifier represents the time in our rml simulator) and p1 in the Y combo box.<\/p>\n<p class=\"hide-if-no-js\"><a href=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoPlot.png\"><img loading=\"lazy\" decoding=\"async\" class=\"size-medium wp-image-957 aligncenter\" alt=\"tutoPlot\" src=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoPlot-300x187.png\" width=\"300\" height=\"187\" srcset=\"https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoPlot-300x187.png 300w, https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoPlot-1024x640.png 1024w, https:\/\/project.inria.fr\/plasma-lab\/files\/2013\/06\/tutoPlot.png 1920w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/a>Once we have tested our model and properties, we can go to the<a title=\"Check a property\" href=\"https:\/\/project.inria.fr\/plasma-lab\/documentation\/tutorial\/check-a-property\/\"><strong> experimentation panel <\/strong><\/a>to use PLASMA Lab SMC algorithms.<\/p>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>The simulation panel allows to generate one trace step-by-step, and to look at the values of the model&#8217;s variables and the properties along this trace. It is made of four different areas which are: A data selection panel A simulation control panel A properties panel A simulation result panel In\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/plasma-lab\/documentation\/tutorial\/how-to-simulate-a-model\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":234,"featured_media":0,"parent":135,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-956","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/956","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/users\/234"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/comments?post=956"}],"version-history":[{"count":6,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/956\/revisions"}],"predecessor-version":[{"id":1990,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/956\/revisions\/1990"}],"up":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/pages\/135"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/plasma-lab\/wp-json\/wp\/v2\/media?parent=956"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}