{"id":2811,"date":"2014-04-14T20:00:29","date_gmt":"2014-04-14T23:00:29","guid":{"rendered":"http:\/\/laship.ufsc.br\/site\/?p=2811"},"modified":"2016-06-10T14:20:36","modified_gmt":"2016-06-10T17:20:36","slug":"2014-modelagem-e-analise-de-circuitos-hidraulicos-usando-redes-de-petri","status":"publish","type":"post","link":"http:\/\/laship.ufsc.br\/site\/en\/2014-modelagem-e-analise-de-circuitos-hidraulicos-usando-redes-de-petri\/","title":{"rendered":"2014 \u2013 Modeling and analysis of hydraulic circuits using Petri Nets"},"content":{"rendered":"<strong>Candidate:<\/strong> Karol Mu\u00f1oz Salas<a href=\"http:\/\/laship.ufsc.br\/site\/wp-content\/uploads\/2016\/04\/Disserta\u00e7\u00e3o_Mu\u00f1oz_2014.pdf\" target=\"_blank\"><img loading=\"lazy\" decoding=\"async\" class=\"alignright wp-image-2714\" src=\"\/site\/wp-content\/uploads\/2016\/06\/pdf-download.png\" alt=\"Disserta\u00e7\u00e3o_Mu\u00f1oz_2014.pdf\" width=\"80\" height=\"80\" \/><\/a><\/p>\n<p><strong>Program:<\/strong> UFSC \/ PGEAS<\/p>\n<p><strong>Date:<\/strong> April, 2014<\/p>\n<p><strong>Advisor: <\/strong>Victor Juliano De Negri<\/p>\n<p><strong>Abstract:<\/strong> Hydraulic systems are considered as a part of mechatronic systems, as they are constituted by hydraulic and electrical circuits, as well as programs implemented in industrial controllers. As consequence, the design of hydraulic systems is a complex task and the establishment of methods during the phases of its development is very important. However up to date there is no consolidated proposal. After evaluating this situation, another approach is considered to support the design of hydraulic systems through the development of analytical methods. In this context, the aim of this research is to propose a procedure for verifying the constructive principle of hydraulic circuits.\u00a0 The proposed procedure considers the model of the hydraulic circuit and the specification of the expected behavior. The model of the hydraulic circuit is represented by using Channel &#8211; Agency net and ordinary Petri net, also known as a place\/transition net. Moreover, the specification of the expected behavior is represented by using temporal logic. Subsequently, to analyze if the behavior of the hydraulic circuit is as expected, a formal verification tool \u201cModel Checking\u201d is used. Furthermore, examples of basic hydraulic circuits are presented to illustrate the main features of the proposed procedure. The results show that the proposed method has great potential for the verification of the design of hydraulic circuits in general.<\/p>\n<p><strong>Reference: <\/strong>MU\u00d1OZ, K. <strong>Modelagem e An\u00e1lise de Circuitos Hidr\u00e1ulicos usando Redes de Petri.<\/strong> 2014. 171 p. Disserta\u00e7\u00e3o (Mestrado em Engenharia de Automa\u00e7\u00e3o e Sistemas). Universidade Federal de Santa Catarina, Florian\u00f3polis.)<\/p>\n<p><a href=\"http:\/\/laship.ufsc.br\/site\/wp-content\/uploads\/2014\/04\/Disserta\u00e7\u00e3o_Mu\u00f1oz_2014_imagem.png\" rel=\"attachment wp-att-2817\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-full wp-image-2817\" src=\"http:\/\/laship.ufsc.br\/site\/wp-content\/uploads\/2014\/04\/Disserta\u00e7\u00e3o_Mu\u00f1oz_2014_imagem.png\" alt=\"Disserta\u00e7\u00e3o_Mu\u00f1oz_2014_imagem\" width=\"1000\" height=\"450\" \/><\/a>","protected":false},"excerpt":{"rendered":"<p><strong>Candidate:<\/strong> Karol Mu\u00f1oz Salas<br \/>\n<strong>Program:<\/strong> UFSC \/ PGEAS<br \/>\n<strong>Date:<\/strong> April, 2014<br \/>\n<strong>Advisor: <\/strong>Dr. Victor Juliano De Negri<\/p>\n","protected":false},"author":1,"featured_media":2819,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[10],"tags":[],"class_list":["post-2811","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-dissertacoes"],"_links":{"self":[{"href":"http:\/\/laship.ufsc.br\/site\/en\/wp-json\/wp\/v2\/posts\/2811"}],"collection":[{"href":"http:\/\/laship.ufsc.br\/site\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/laship.ufsc.br\/site\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/laship.ufsc.br\/site\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/laship.ufsc.br\/site\/en\/wp-json\/wp\/v2\/comments?post=2811"}],"version-history":[{"count":7,"href":"http:\/\/laship.ufsc.br\/site\/en\/wp-json\/wp\/v2\/posts\/2811\/revisions"}],"predecessor-version":[{"id":2888,"href":"http:\/\/laship.ufsc.br\/site\/en\/wp-json\/wp\/v2\/posts\/2811\/revisions\/2888"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/laship.ufsc.br\/site\/en\/wp-json\/wp\/v2\/media\/2819"}],"wp:attachment":[{"href":"http:\/\/laship.ufsc.br\/site\/en\/wp-json\/wp\/v2\/media?parent=2811"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/laship.ufsc.br\/site\/en\/wp-json\/wp\/v2\/categories?post=2811"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/laship.ufsc.br\/site\/en\/wp-json\/wp\/v2\/tags?post=2811"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}