{"id":930,"date":"2019-08-16T19:01:52","date_gmt":"2019-08-16T22:01:52","guid":{"rendered":"http:\/\/www.galirows.com.br\/meublog\/?p=930"},"modified":"2019-08-16T19:05:17","modified_gmt":"2019-08-16T22:05:17","slug":"lista-softwar-sed","status":"publish","type":"post","link":"http:\/\/www.galirows.com.br\/meublog\/blog\/lista-softwar-sed\/","title":{"rendered":"Lista de softwares para Sistemas a Eventos Discretos"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Lista de ferramentas para projeto de Sistemas a Eventos Discretos:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"http:\/\/www.control.utoronto.ca\/DES\">TCT<\/a>: \u00e9 uma poderosa ferramenta com diversos algoritmos associados com W.M. Wonham. Sua desvantagem \u00e9 ser um editor por linha de comando e pouco intuitivo, embora tenha processamento r\u00e1pido, o que permite c\u00e1lculos de supervisores complexos que outras ferramentas n\u00e3o suportam.<\/li><li><a href=\"http:\/\/www.eecs.umich.edu\/umdes\/toolboxes.html\">DESUMA<\/a>:&nbsp;integra UMDES-LIB e <a href=\"http:\/\/www.mta.ca\/giddes\">GIDDES<\/a> e com isso possui um editor visual para os aut\u00f4matos e tamb\u00e9m permite c\u00e1lculos relacionados a diagnose de falhas.<\/li><li><a href=\"https:\/\/qshare.queensu.ca\/Users01\/rudie\/www\/software.html\">IDES<\/a>: a melhor interface gr\u00e1fica para representa\u00e7\u00e3o dos aut\u00f4matos e c\u00e1lculo do supervisor.<ul><li><a href=\"https:\/\/ieeexplore.ieee.org\/abstract\/document\/4267654\">Artigo de apresenta\u00e7\u00e3o da ferramenta<\/a><\/li><\/ul><\/li><li><a href=\"http:\/\/www.rt.e-technik.uni-erlangen.de\/FGdes\/destool\/index.html\">DEStool<\/a>: a melhor ferramenta. Boa interface para representa\u00e7\u00e3o dos aut\u00f4matos e muitos algoritmos (inclusive relacionados com diagn\u00f3stico de falhas). Os algoritmos s\u00e3o providos pela <a href=\"http:\/\/www.rt.e-technik.uni-erlangen.de\/FGdes\/faudes\/index.html\">libFAUDES<\/a>, uma biblioteca escrita em C++  e open source (LGPL). Um recurso de grande valia \u00e9 o suporte a scripts.<\/li><li><a href=\"https:\/\/github.com\/kaszubowski\/nadzoru\">Nadzoru<\/a>: ferramenta um pouco custosa para poder rodar, mas com diversos diferenciais em sua interface.<\/li><\/ul>\n\n\n\n<p>Algumas ferramentas que encontrei em outras indica\u00e7\u00f5es, mas que n\u00e3o utilizei:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"http:\/\/www.cas.mcmaster.ca\/~leduc\/DESpot.html\">DESpot:<\/a>&nbsp;a  new discrete-event system (DES) software research tool. It supports  both  flat projects (collection of plant and supervisor DES), and   Hierarchical Interface-Based Supervisory Control (HISC) projects. <\/li><li><a href=\"http:\/\/www.supremica.org\/\"><g class=\"gr_ gr_28 gr-alert gr_spell gr_inline_cards gr_run_anim ContextualSpelling ins-del multiReplace\" id=\"28\" data-gr-id=\"28\">Supremica<\/g>:<\/a>&nbsp;a tool for verification and synthesis of discrete event supervisors.<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Lista de ferramentas para projeto de Sistemas a Eventos Discretos: TCT: \u00e9 uma poderosa ferramenta com diversos algoritmos associados com W.M. Wonham. Sua desvantagem \u00e9 ser um editor por linha de comando e pouco intuitivo, embora tenha processamento r\u00e1pido, o que permite c\u00e1lculos de supervisores complexos que outras ferramentas n\u00e3o suportam. DESUMA:&nbsp;integra UMDES-LIB e GIDDES [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":833,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-930","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-offtopic"],"aioseo_notices":[],"amp_enabled":true,"_links":{"self":[{"href":"http:\/\/www.galirows.com.br\/meublog\/wp-json\/wp\/v2\/posts\/930","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.galirows.com.br\/meublog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.galirows.com.br\/meublog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.galirows.com.br\/meublog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.galirows.com.br\/meublog\/wp-json\/wp\/v2\/comments?post=930"}],"version-history":[{"count":3,"href":"http:\/\/www.galirows.com.br\/meublog\/wp-json\/wp\/v2\/posts\/930\/revisions"}],"predecessor-version":[{"id":937,"href":"http:\/\/www.galirows.com.br\/meublog\/wp-json\/wp\/v2\/posts\/930\/revisions\/937"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/www.galirows.com.br\/meublog\/wp-json\/wp\/v2\/media\/833"}],"wp:attachment":[{"href":"http:\/\/www.galirows.com.br\/meublog\/wp-json\/wp\/v2\/media?parent=930"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.galirows.com.br\/meublog\/wp-json\/wp\/v2\/categories?post=930"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.galirows.com.br\/meublog\/wp-json\/wp\/v2\/tags?post=930"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}