{"id":"https://openalex.org/W2169889671","doi":"https://doi.org/10.1109/etfa.2008.4638506","title":"Step state-feedback supervisory control of Discrete Event Systems using Interpreted Petri Nets","display_name":"Step state-feedback supervisory control of Discrete Event Systems using Interpreted Petri Nets","publication_year":2008,"publication_date":"2008-09-01","ids":{"openalex":"https://openalex.org/W2169889671","doi":"https://doi.org/10.1109/etfa.2008.4638506","mag":"2169889671"},"language":"en","primary_location":{"id":"doi:10.1109/etfa.2008.4638506","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2008.4638506","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International Conference on Emerging Technologies and Factory Automation","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/A5010911537","display_name":"Alejandra Santoyo S\u00e1nchez","orcid":"https://orcid.org/0000-0002-0492-8784"},"institutions":[{"id":"https://openalex.org/I193181351","display_name":"Universidad de Guadalajara","ror":"https://ror.org/043xj7k26","country_code":"MX","type":"education","lineage":["https://openalex.org/I193181351"]}],"countries":["MX"],"is_corresponding":true,"raw_author_name":"A. Santoyo-Sanchez","raw_affiliation_strings":["CUCEI-Departamento de Computaci\u00f3n, Universidad de Guadalajara, Guadalajara, Jalisco, Mexico","Departamento de Computaci\u00f3n Guadalajara, CUCEI, Jalisco, M\u00e9xico"],"affiliations":[{"raw_affiliation_string":"CUCEI-Departamento de Computaci\u00f3n, Universidad de Guadalajara, Guadalajara, Jalisco, Mexico","institution_ids":["https://openalex.org/I193181351"]},{"raw_affiliation_string":"Departamento de Computaci\u00f3n Guadalajara, CUCEI, Jalisco, M\u00e9xico","institution_ids":["https://openalex.org/I193181351"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021408366","display_name":"Antonio Ram\u00edrez\u2010Trevi\u00f1o","orcid":"https://orcid.org/0000-0003-3028-3446"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"A. Ramirez-Trevino","raw_affiliation_strings":["CINVESTAV Unidad Jalisco Zapopan, Jalisco, M\u00e9xico"],"affiliations":[{"raw_affiliation_string":"CINVESTAV Unidad Jalisco Zapopan, Jalisco, M\u00e9xico","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046318346","display_name":"C. De Jesus-Velasquez","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"C. De Jesus-Velasquez","raw_affiliation_strings":["CINVESTAV, Unidad Jalisco, Zapopan, Jalisco, Mexico","Intel Tecnolog\u00eda de M\u00e9xico S. A., Compatibility Validation Tlaquepaque, Jalisco, M\u00e9xico"],"affiliations":[{"raw_affiliation_string":"CINVESTAV, Unidad Jalisco, Zapopan, Jalisco, Mexico","institution_ids":[]},{"raw_affiliation_string":"Intel Tecnolog\u00eda de M\u00e9xico S. A., Compatibility Validation Tlaquepaque, Jalisco, M\u00e9xico","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023776044","display_name":"L. Aguirre-Salas","orcid":null},"institutions":[{"id":"https://openalex.org/I193181351","display_name":"Universidad de Guadalajara","ror":"https://ror.org/043xj7k26","country_code":"MX","type":"education","lineage":["https://openalex.org/I193181351"]}],"countries":["MX"],"is_corresponding":false,"raw_author_name":"L.I. Aguirre-Salas","raw_affiliation_strings":["CUCSUR-Departamento de Ingenier\u00edas, Universidad de Guadalajara, Autlan de Navarro, Jalisco, Mexico","Departamento de Ingenier\u00edas Autl\u00e1n de Navarro, CUCSUR, Jalisco, M\u00e9xico"],"affiliations":[{"raw_affiliation_string":"CUCSUR-Departamento de Ingenier\u00edas, Universidad de Guadalajara, Autlan de Navarro, Jalisco, Mexico","institution_ids":["https://openalex.org/I193181351"]},{"raw_affiliation_string":"Departamento de Ingenier\u00edas Autl\u00e1n de Navarro, CUCSUR, Jalisco, M\u00e9xico","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5010911537"],"corresponding_institution_ids":["https://openalex.org/I193181351"],"apc_list":null,"apc_paid":null,"fwci":0.8011,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.77035556,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"5","issue":null,"first_page":"926","last_page":"933"},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9889000058174133,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/petri-net","display_name":"Petri net","score":0.9034651517868042},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.6829358339309692},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6226108074188232},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5753359198570251},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5748225450515747},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5391867756843567},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4290342926979065},{"id":"https://openalex.org/keywords/state-vector","display_name":"State vector","score":0.4133656919002533},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4081733226776123},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3956407606601715},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.31468796730041504},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14508435130119324},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12725332379341125}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9034651517868042},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6829358339309692},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6226108074188232},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5753359198570251},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5748225450515747},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5391867756843567},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4290342926979065},{"id":"https://openalex.org/C2777798563","wikidata":"https://www.wikidata.org/wiki/Q7603916","display_name":"State vector","level":2,"score":0.4133656919002533},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4081733226776123},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3956407606601715},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.31468796730041504},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14508435130119324},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12725332379341125},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/etfa.2008.4638506","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2008.4638506","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International Conference on Emerging Technologies and Factory Automation","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/W1499434946","https://openalex.org/W1500450141","https://openalex.org/W1551214605","https://openalex.org/W1587663028","https://openalex.org/W1600945746","https://openalex.org/W1979349468","https://openalex.org/W1996109622","https://openalex.org/W2006992368","https://openalex.org/W2014305171","https://openalex.org/W2059057465","https://openalex.org/W2106388759","https://openalex.org/W2120909378","https://openalex.org/W2124901174","https://openalex.org/W2126295866","https://openalex.org/W2150305702","https://openalex.org/W2175973919","https://openalex.org/W4236164983","https://openalex.org/W4297744580"],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W2132799268","https://openalex.org/W2285033125","https://openalex.org/W2124901174","https://openalex.org/W2165576794","https://openalex.org/W1959638094","https://openalex.org/W48368865"],"abstract_inverted_index":{"This":[0],"paper":[1,62],"deals":[2],"with":[3],"supervisory":[4],"control":[5],"of":[6,96,106,115,154,161],"discrete":[7],"event":[8],"systems":[9],"(DES)":[10],"modeled":[11],"by":[12,31],"interpreted":[13],"Petri":[14],"nets":[15],"(IPN).":[16],"In":[17],"the":[18,23,26,34,41,48,68,77,81,89,93,116,140,152,158,165],"approach":[19],"herein":[20,167,178],"proposed,":[21],"both,":[22],"specification":[24,35,42,82,155],"and":[25,100,134,173],"system":[27,69,78,107],"model":[28,79],"are":[29,121],"described":[30],"IPN,":[32],"however,":[33],"describes":[36],"a":[37,64,132],"state":[38],"subset":[39],"that":[40],"must":[43,54],"reach.":[44],"It":[45],"also":[46],"captures":[47],"order":[49,74,124],"in":[50,73,123,183],"which":[51],"these":[52],"states":[53],"be":[55],"reached.":[56],"Based":[57],"on":[58],"this":[59,61,85],"framework,":[60],"presents":[63],"method":[65],"to":[66,75,102,125],"compute":[67,103],"firing":[70,108],"transition":[71,114,129],"sequence":[72],"confine":[76],"into":[80,144],"behavior.":[83],"Although":[84],"problem":[86,142],"is":[87,137,151,169],"NP-complete,":[88],"proposed":[90,162],"solution":[91],"exploits":[92],"structural":[94],"information":[95],"both":[97],"IPN":[98],"(system":[99],"specification)":[101],"Parikh":[104,119],"vectors":[105,120],"sequences;":[109],"one":[110],"vector":[111],"per":[112],"each":[113],"specification.":[117],"These":[118],"processed":[122],"obtain":[126],"controllable":[127],"fireable":[128],"sequences.":[130],"Thus":[131],"divide":[133],"conquer":[135],"technique":[136,166],"used,":[138],"where":[139],"NP-complete":[141],"divided":[143],"k":[145,150],"small":[146],"size":[147],"problems":[148],"(where":[149],"number":[153],"transitions),":[156],"reducing":[157],"computational":[159],"time":[160],"algorithms.":[163],"Moreover,":[164],"presented":[168],"suitable":[170],"for":[171],"distributed":[172],"hierarchical":[174],"control.":[175],"All":[176],"algorithms":[177],"purposed":[179],"have":[180],"being":[181],"implemented":[182],"MAPLE.":[184]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}