{"id":"https://openalex.org/W2148226550","doi":"https://doi.org/10.1109/sysose.2006.1652274","title":"Supervisory Controller Design for Timed Petri Nets","display_name":"Supervisory Controller Design for Timed Petri Nets","publication_year":2006,"publication_date":"2006-07-21","ids":{"openalex":"https://openalex.org/W2148226550","doi":"https://doi.org/10.1109/sysose.2006.1652274","mag":"2148226550"},"language":"en","primary_location":{"id":"doi:10.1109/sysose.2006.1652274","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sysose.2006.1652274","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 IEEE/SMC International Conference on System of Systems Engineering","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/A5041265643","display_name":"Ayd\u0131n Aybar","orcid":"https://orcid.org/0000-0001-6114-9894"},"institutions":[{"id":"https://openalex.org/I133743585","display_name":"Anadolu University","ror":"https://ror.org/05nz37n09","country_code":"TR","type":"education","lineage":["https://openalex.org/I133743585"]},{"id":"https://openalex.org/I4210091745","display_name":"Eski\u015fehir City Hospital","ror":"https://ror.org/00czdkn85","country_code":"TR","type":"healthcare","lineage":["https://openalex.org/I1303077703","https://openalex.org/I4210091745"]}],"countries":["TR"],"is_corresponding":true,"raw_author_name":"A. Aybar","raw_affiliation_strings":["Department of Electrical and Electronics Engineering, Anadolu University, Eskisehir, Turkey"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronics Engineering, Anadolu University, Eskisehir, Turkey","institution_ids":["https://openalex.org/I133743585","https://openalex.org/I4210091745"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111576195","display_name":"A. \u0130ftar","orcid":null},"institutions":[{"id":"https://openalex.org/I133743585","display_name":"Anadolu University","ror":"https://ror.org/05nz37n09","country_code":"TR","type":"education","lineage":["https://openalex.org/I133743585"]},{"id":"https://openalex.org/I4210091745","display_name":"Eski\u015fehir City Hospital","ror":"https://ror.org/00czdkn85","country_code":"TR","type":"healthcare","lineage":["https://openalex.org/I1303077703","https://openalex.org/I4210091745"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"A. Iftar","raw_affiliation_strings":["Department of Electrical and Electronics Engineering, Anadolu University, Eskisehir, Turkey"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronics Engineering, Anadolu University, Eskisehir, Turkey","institution_ids":["https://openalex.org/I133743585","https://openalex.org/I4210091745"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041265643"],"corresponding_institution_ids":["https://openalex.org/I133743585","https://openalex.org/I4210091745"],"apc_list":null,"apc_paid":null,"fwci":1.3081,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.81348137,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"59","last_page":"64"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":1.0,"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":1.0,"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.9951000213623047,"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.9836999773979187,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9774059057235718},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7826725244522095},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7660096883773804},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.6073548197746277},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5861002206802368},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.5475337505340576},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5471949577331543},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3567260801792145},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3007012605667114}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9774059057235718},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7826725244522095},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7660096883773804},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.6073548197746277},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5861002206802368},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5475337505340576},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5471949577331543},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3567260801792145},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3007012605667114},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sysose.2006.1652274","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sysose.2006.1652274","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 IEEE/SMC International Conference on System of Systems Engineering","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":15,"referenced_works":["https://openalex.org/W205362740","https://openalex.org/W1490850339","https://openalex.org/W1543378523","https://openalex.org/W1587663028","https://openalex.org/W2036595691","https://openalex.org/W2075689799","https://openalex.org/W2100044679","https://openalex.org/W2105090403","https://openalex.org/W2106005455","https://openalex.org/W2106659191","https://openalex.org/W2110598077","https://openalex.org/W2153738373","https://openalex.org/W2169779897","https://openalex.org/W2614975682","https://openalex.org/W4297744580"],"related_works":["https://openalex.org/W1543378523","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W2257573499","https://openalex.org/W2381491984","https://openalex.org/W2353505923","https://openalex.org/W2092311420","https://openalex.org/W2064254377","https://openalex.org/W1531156418"],"abstract_inverted_index":{"A":[0],"method,":[1,13,84],"called":[2,18],"\"stretching\",":[3],"is":[4,27,78,87,107,147],"introduced":[5,153],"to":[6,29,56,75,110,127,150],"represent":[7,30],"timed":[8,43,63,104,120,134],"Petri":[9,16,20,33,44,64,93,105,121,135],"nets.":[10],"Using":[11,35,82],"this":[12,36,70,83,97],"a":[14,31,58,62,85,99],"new":[15],"net,":[17,37],"\"stretched":[19],"net\",":[21],"which":[22],"has":[23],"only":[24],"unit":[25],"delays,":[26],"obtained":[28],"timed-transition":[32],"net.":[34,94],"the":[38,41,91,102,112,116,129,132,152],"state":[39],"of":[40,115],"original":[42,103,119,133],"net":[45,65,106,136],"can":[46],"be":[47],"represented":[48],"easily.":[49],"This":[50],"representation":[51],"also":[52,148],"makes":[53],"it":[54],"easy":[55],"design":[57,74],"supervisory":[59,72],"controller":[60,73,86,100,130],"for":[61,66,90,101,131],"any":[67],"purpose.":[68],"In":[69],"paper,":[71],"avoid":[76],"deadlock":[77],"considered":[79],"in":[80],"particular.":[81],"first":[88],"designed":[89],"stretched":[92,117],"Then,":[95],"using":[96,143],"controller,":[98],"obtained.":[108],"Algorithms":[109],"construct":[111],"reachability":[113],"sets":[114],"and":[118],"nets,":[122],"as":[123,125],"well":[124],"algorithms":[126,140],"obtain":[128],"are":[137,141],"presented.":[138],"These":[139],"implemented":[142],"MATLAB.":[144],"An":[145],"example":[146],"presented":[149],"illustrate":[151],"approach.":[154]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}