{"id":"https://openalex.org/W2166392913","doi":"https://doi.org/10.1109/icat.2009.5348424","title":"Timed transition automata and their ladder logic implementation","display_name":"Timed transition automata and their ladder logic implementation","publication_year":2009,"publication_date":"2009-10-01","ids":{"openalex":"https://openalex.org/W2166392913","doi":"https://doi.org/10.1109/icat.2009.5348424","mag":"2166392913"},"language":"en","primary_location":{"id":"doi:10.1109/icat.2009.5348424","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icat.2009.5348424","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004568400","display_name":"Murat Uzam","orcid":"https://orcid.org/0000-0001-9625-5523"},"institutions":[{"id":"https://openalex.org/I198265615","display_name":"Ni\u011fde \u00d6mer Halisdemir \u00dcniversitesi","ror":"https://ror.org/03ejnre35","country_code":"TR","type":"education","lineage":["https://openalex.org/I198265615"]}],"countries":["TR"],"is_corresponding":true,"raw_author_name":"Murat Uzam","raw_affiliation_strings":["M\u00fchendislik Mimarlik Fak\u00fcltesi, Elektrik-Elektronik M\u00fchendisli\u011fi B\u00f6l\u00fcm\u00fc, Kamp\u00fcs, Ni\u011fde \u00dcniversitesi, Nigde, Turkey"],"affiliations":[{"raw_affiliation_string":"M\u00fchendislik Mimarlik Fak\u00fcltesi, Elektrik-Elektronik M\u00fchendisli\u011fi B\u00f6l\u00fcm\u00fc, Kamp\u00fcs, Ni\u011fde \u00dcniversitesi, Nigde, Turkey","institution_ids":["https://openalex.org/I198265615"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047464241","display_name":"G\u00f6khan Gelen","orcid":"https://orcid.org/0000-0002-2780-3386"},"institutions":[{"id":"https://openalex.org/I198265615","display_name":"Ni\u011fde \u00d6mer Halisdemir \u00dcniversitesi","ror":"https://ror.org/03ejnre35","country_code":"TR","type":"education","lineage":["https://openalex.org/I198265615"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Gokhan Gelen","raw_affiliation_strings":["M\u00fchendislik Mimarlik Fak\u00fcltesi, Elektrik-Elektronik M\u00fchendisli\u011fi B\u00f6l\u00fcm\u00fc, Kamp\u00fcs, Ni\u011fde \u00dcniversitesi, Nigde, Turkey"],"affiliations":[{"raw_affiliation_string":"M\u00fchendislik Mimarlik Fak\u00fcltesi, Elektrik-Elektronik M\u00fchendisli\u011fi B\u00f6l\u00fcm\u00fc, Kamp\u00fcs, Ni\u011fde \u00dcniversitesi, Nigde, Turkey","institution_ids":["https://openalex.org/I198265615"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033579843","display_name":"Recep Dalci","orcid":null},"institutions":[{"id":"https://openalex.org/I198265615","display_name":"Ni\u011fde \u00d6mer Halisdemir \u00dcniversitesi","ror":"https://ror.org/03ejnre35","country_code":"TR","type":"education","lineage":["https://openalex.org/I198265615"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Recep Dalci","raw_affiliation_strings":["M\u00fchendislik Mimarlik Fak\u00fcltesi, Elektrik-Elektronik M\u00fchendisli\u011fi B\u00f6l\u00fcm\u00fc, Kamp\u00fcs, Ni\u011fde \u00dcniversitesi, Nigde, Turkey"],"affiliations":[{"raw_affiliation_string":"M\u00fchendislik Mimarlik Fak\u00fcltesi, Elektrik-Elektronik M\u00fchendisli\u011fi B\u00f6l\u00fcm\u00fc, Kamp\u00fcs, Ni\u011fde \u00dcniversitesi, Nigde, Turkey","institution_ids":["https://openalex.org/I198265615"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004568400"],"corresponding_institution_ids":["https://openalex.org/I198265615"],"apc_list":null,"apc_paid":null,"fwci":1.0283,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.78392081,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"1855","issue":null,"first_page":"1","last_page":"8"},"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.9998999834060669,"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.9998999834060669,"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.9997000098228455,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.8746339082717896},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7266179323196411},{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"Programmable logic controller","score":0.7127641439437866},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.664176881313324},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.6101390719413757},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.593160092830658},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.4822719693183899},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.47740235924720764},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.47611576318740845},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.4000645577907562},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3531571626663208},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34772568941116333},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2988489866256714},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21082037687301636},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10620328783988953}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.8746339082717896},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7266179323196411},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.7127641439437866},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.664176881313324},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6101390719413757},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.593160092830658},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4822719693183899},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.47740235924720764},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.47611576318740845},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4000645577907562},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3531571626663208},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34772568941116333},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2988489866256714},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21082037687301636},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10620328783988953},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icat.2009.5348424","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icat.2009.5348424","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1505489763","https://openalex.org/W1586441041","https://openalex.org/W1587663028","https://openalex.org/W1846929317","https://openalex.org/W1863150103","https://openalex.org/W1928422391","https://openalex.org/W1970092510","https://openalex.org/W1979349468","https://openalex.org/W1982399537","https://openalex.org/W2059057465","https://openalex.org/W2083964867","https://openalex.org/W2101508170","https://openalex.org/W2108777781","https://openalex.org/W2145859463","https://openalex.org/W2154148696","https://openalex.org/W3161476343","https://openalex.org/W4297744580","https://openalex.org/W6841587223"],"related_works":["https://openalex.org/W1750171350","https://openalex.org/W2742562413","https://openalex.org/W1903000972","https://openalex.org/W2569130014","https://openalex.org/W2095644384","https://openalex.org/W2149582339","https://openalex.org/W2900094146","https://openalex.org/W1597414920","https://openalex.org/W3119815114","https://openalex.org/W2724597727"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"a":[3,105],"simplified":[4],"version":[5],"of":[6,20,46,73,82,92,96,104,109],"timed":[7,10,83],"automata,":[8],"called":[9],"transition":[11,84],"automata":[12,22],"(TTA),":[13],"is":[14,85,100],"proposed.":[15],"TTA":[16,36],"are":[17,24,37,55,68],"an":[18],"extension":[19],"untimed":[21,59],"and":[23,65,112],"obtained":[25,56],"by":[26,61,70,87,102],"assigning":[27],"integer":[28],"time":[29,50,74],"delay":[30,51,75,90],"values":[31,76],"to":[32,77],"events.":[33,79],"The":[34,80,94],"proposed":[35,98],"very":[38],"useful":[39],"for":[40],"programmable":[41],"logic":[42],"controller":[43],"(PLC)":[44],"implementation":[45,81],"supervisory":[47],"controllers":[48,54],"with":[49],"functions.":[52],"Supervisory":[53],"as":[57],"in":[58],"systems":[60],"using":[62,88],"Ramadge-Wonham":[63],"framework":[64],"then":[66],"they":[67],"refined":[69],"the":[71,97],"assignment":[72],"respected":[78],"realized":[86],"on":[89],"timers":[91],"PLCs.":[93],"applicability":[95],"method":[99],"demonstrated":[101],"means":[103],"manufacturing":[106],"system":[107],"consisting":[108],"two":[110],"machines":[111],"one":[113],"buffer.":[114]},"counts_by_year":[{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}