{"id":"https://openalex.org/W7160656372","doi":"https://doi.org/10.5753/jis.2026.6644","title":"Interactively Converting Ladder Diagrams into Grafcet Diagrams on a Robotic Neutralization System Case Study","display_name":"Interactively Converting Ladder Diagrams into Grafcet Diagrams on a Robotic Neutralization System Case Study","publication_year":2026,"publication_date":"2026-05-06","ids":{"openalex":"https://openalex.org/W7160656372","doi":"https://doi.org/10.5753/jis.2026.6644"},"language":"en","primary_location":{"id":"doi:10.5753/jis.2026.6644","is_oa":true,"landing_page_url":"https://doi.org/10.5753/jis.2026.6644","pdf_url":"https://journals-sol.sbc.org.br/index.php/jis/article/download/6644/3988","source":{"id":"https://openalex.org/S4210193165","display_name":"Journal on Interactive Systems","issn_l":"2763-7719","issn":["2763-7719"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal on Interactive Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://journals-sol.sbc.org.br/index.php/jis/article/download/6644/3988","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035876579","display_name":"Paulo Andr\u00e9 Sperandio Giacomin","orcid":"https://orcid.org/0000-0002-1710-5250"},"institutions":[{"id":"https://openalex.org/I3122449915","display_name":"Universidade Estadual de Santa Cruz","ror":"https://ror.org/01zwq4y59","country_code":"BR","type":"education","lineage":["https://openalex.org/I3122449915"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Paulo Andr\u00e9 Sperandio Giacomin","raw_affiliation_strings":["State University of Santa Cruz"],"raw_orcid":"https://orcid.org/0000-0002-1710-5250","affiliations":[{"raw_affiliation_string":"State University of Santa Cruz","institution_ids":["https://openalex.org/I3122449915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5035876579"],"corresponding_institution_ids":["https://openalex.org/I3122449915"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.48458211,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"1","first_page":"418","last_page":"430"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9092000126838684,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9092000126838684,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.02410000003874302,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13344","display_name":"Industrial Automation and Control Systems","score":0.01860000006854534,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/ladder-logic","display_name":"Ladder logic","score":0.7226999998092651},{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"Programmable logic controller","score":0.5716000199317932},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.555400013923645},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.51419997215271},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.4754999876022339},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.426800012588501},{"id":"https://openalex.org/keywords/diagram","display_name":"Diagram","score":0.4237000048160553},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4171999990940094}],"concepts":[{"id":"https://openalex.org/C44986683","wikidata":"https://www.wikidata.org/wiki/Q1411875","display_name":"Ladder logic","level":3,"score":0.7226999998092651},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.5716000199317932},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.555400013923645},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5465999841690063},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.51419997215271},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.4754999876022339},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.426800012588501},{"id":"https://openalex.org/C186399060","wikidata":"https://www.wikidata.org/wiki/Q959962","display_name":"Diagram","level":2,"score":0.4237000048160553},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4171999990940094},{"id":"https://openalex.org/C16671368","wikidata":"https://www.wikidata.org/wiki/Q230885","display_name":"State diagram","level":3,"score":0.36959999799728394},{"id":"https://openalex.org/C39799792","wikidata":"https://www.wikidata.org/wiki/Q1045991","display_name":"Circuit diagram","level":2,"score":0.3560999929904938},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.34540000557899475},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3441999852657318},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.33410000801086426},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.3257000148296356},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3174000084400177},{"id":"https://openalex.org/C64260653","wikidata":"https://www.wikidata.org/wiki/Q1194864","display_name":"Electronic design automation","level":2,"score":0.3133000135421753},{"id":"https://openalex.org/C40149104","wikidata":"https://www.wikidata.org/wiki/Q5620977","display_name":"Factory (object-oriented programming)","level":2,"score":0.30090001225471497},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.2939999997615814},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.26589998602867126},{"id":"https://openalex.org/C35304755","wikidata":"https://www.wikidata.org/wiki/Q255362","display_name":"Wiring diagram","level":2,"score":0.2567000091075897},{"id":"https://openalex.org/C20837028","wikidata":"https://www.wikidata.org/wiki/Q623966","display_name":"Influence diagram","level":3,"score":0.25209999084472656},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2506999969482422}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5753/jis.2026.6644","is_oa":true,"landing_page_url":"https://doi.org/10.5753/jis.2026.6644","pdf_url":"https://journals-sol.sbc.org.br/index.php/jis/article/download/6644/3988","source":{"id":"https://openalex.org/S4210193165","display_name":"Journal on Interactive Systems","issn_l":"2763-7719","issn":["2763-7719"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal on Interactive Systems","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:be852f234f0c4cc4a1f7c43f64d1a8cc","is_oa":true,"landing_page_url":"https://doaj.org/article/be852f234f0c4cc4a1f7c43f64d1a8cc","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal on Interactive Systems, Vol 17, Iss 1 (2026)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.5753/jis.2026.6644","is_oa":true,"landing_page_url":"https://doi.org/10.5753/jis.2026.6644","pdf_url":"https://journals-sol.sbc.org.br/index.php/jis/article/download/6644/3988","source":{"id":"https://openalex.org/S4210193165","display_name":"Journal on Interactive Systems","issn_l":"2763-7719","issn":["2763-7719"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal on Interactive Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7160656372.pdf","grobid_xml":"https://content.openalex.org/works/W7160656372.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W1969615759","https://openalex.org/W2080267935","https://openalex.org/W2160239591","https://openalex.org/W2161773136","https://openalex.org/W2549942028","https://openalex.org/W2768641392","https://openalex.org/W2992823682","https://openalex.org/W3111157786","https://openalex.org/W4297889806","https://openalex.org/W4324349641","https://openalex.org/W4384159832","https://openalex.org/W4386082988","https://openalex.org/W4387567167","https://openalex.org/W4388721140","https://openalex.org/W4389880452","https://openalex.org/W4405306253","https://openalex.org/W4408853889","https://openalex.org/W4412950148","https://openalex.org/W4415514710","https://openalex.org/W4415591943","https://openalex.org/W7125897959"],"related_works":[],"abstract_inverted_index":{"Background:":[0],"Programmable":[1],"Logic":[2],"Controllers":[3],"(PLCs)":[4],"are":[5,23,187],"widely":[6],"used":[7,26],"to":[8,146,158,169,215,221],"implement":[9],"automation":[10],"systems":[11],"based":[12],"on":[13],"sequential":[14],"control.":[15],"For":[16,106],"such":[17],"systems,":[18,224],"Ladder":[19,63,89,115,149,217],"and":[20,29,68,85,99,119,135,151,203],"Grafcet":[21,66,92,127,141,206],"diagrams":[22,90,93],"standardized,":[24],"respectively":[25],"as":[27,75],"programming":[28],"specification":[30],"formalisms.":[31],"Additionally,":[32],"a":[33,40,43,51,69,76,177],"neutralization":[34,71,223],"system":[35,72],"is":[36,73,83,103,117,143,155,196,209,237],"responsible":[37],"for":[38,61,87,129],"mixing":[39],"solution":[41,230],"with":[42,124],"neutralizer":[44],"so":[45],"that":[46],"the":[47,108,111,114,125,130,147,152,167,171,190,199,204,216,225,229],"resulting":[48,126,140,205],"liquid":[49],"has":[50],"neutral":[52],"pH.":[53],"Purpose:":[54],"This":[55],"study":[56,180],"proposes":[57],"an":[58],"interactive":[59],"approach":[60],"converting":[62,88],"Diagrams":[64,97],"into":[65,91],"diagrams,":[67],"robotic":[70],"considered":[74,144],"realistic":[77,178],"case":[78,179],"study.":[79],"Methods:":[80],"An":[81],"algorithm":[82,154],"designed":[84],"programmed":[86],"using":[94],"Binary":[95],"Decision":[96],"(BDDs),":[98],"its":[100,159,213,233],"time":[101,160,195],"complexity":[102],"mathematically":[104],"determined.":[105],"validating":[107],"effectiveness":[109],"of":[110,201],"proposed":[112,153,164,226],"algorithm,":[113],"diagram":[116,128,142],"simulated":[118],"compared":[120,220],"side":[121,123],"by":[122,198],"same":[131],"expected":[132],"initial":[133],"state":[134],"input":[136],"sequences.":[137],"Results:":[138],"The":[139,163],"equivalent":[145],"original":[148],"diagram,":[150],"classified":[156],"according":[157],"complexity.":[161],"Conclusions:":[162],"strategy":[165],"helps":[166],"expert":[168],"identify":[170],"plant\u2019s":[172],"process":[173],"control":[174],"flow":[175],"in":[176,193],"where":[181],"either":[182],"transitions":[183],"AND":[184],"or":[185],"OR":[186],"addressed.":[188],"Besides,":[189],"exponential":[191],"growth":[192],"running":[194],"softened":[197],"use":[200],"BDDs":[202],"diagram\u2019s":[207],"flexibility":[208],"improved":[210],"without":[211],"compromising":[212],"equivalence":[214],"diagram.":[218],"Moreover,":[219],"preexisting":[222],"one":[227],"preserves":[228],"acidity":[231],"once":[232],"desired":[234],"preset":[235],"value":[236],"achieved.":[238]},"counts_by_year":[],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2026-05-09T00:00:00"}