{"id":"https://openalex.org/W4238125051","doi":"https://doi.org/10.23919/ecc.2003.7085206","title":"Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets","display_name":"Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets","publication_year":2003,"publication_date":"2003-09-01","ids":{"openalex":"https://openalex.org/W4238125051","doi":"https://doi.org/10.23919/ecc.2003.7085206"},"language":"en","primary_location":{"id":"doi:10.23919/ecc.2003.7085206","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2003.7085206","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2003 European Control Conference (ECC)","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":"Aydin Aybar","raw_affiliation_strings":["Department of Electrical and Electronics Engineering, Anadolu University, Eski\u015fehir, Turkey"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronics Engineering, Anadolu University, Eski\u015fehir, Turkey","institution_ids":["https://openalex.org/I133743585","https://openalex.org/I4210091745"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111638525","display_name":"Altu\u011f \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":"Altug Iftar","raw_affiliation_strings":["Department of Electrical and Electronics Engineering, Anadolu University, Eski\u015fehir, Turkey"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronics Engineering, Anadolu University, Eski\u015fehir, 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":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.41371384,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1681","last_page":"1686"},"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.9922999739646912,"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.9922999739646912,"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9171000123023987,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9146000146865845,"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/subnet","display_name":"Subnet","score":0.9713693857192993},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9696804881095886},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.9474901556968689},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.7643122673034668},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6837565302848816},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.6459022760391235},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5475857257843018},{"id":"https://openalex.org/keywords/petri-dish","display_name":"Petri dish","score":0.5071280002593994},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5031034350395203},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42416855692863464},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1996060311794281},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1873762309551239},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.10788452625274658}],"concepts":[{"id":"https://openalex.org/C21099817","wikidata":"https://www.wikidata.org/wiki/Q7631721","display_name":"Subnet","level":2,"score":0.9713693857192993},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9696804881095886},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9474901556968689},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.7643122673034668},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6837565302848816},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.6459022760391235},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5475857257843018},{"id":"https://openalex.org/C146763376","wikidata":"https://www.wikidata.org/wiki/Q81714","display_name":"Petri dish","level":2,"score":0.5071280002593994},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5031034350395203},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42416855692863464},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1996060311794281},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1873762309551239},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.10788452625274658},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","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},{"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.23919/ecc.2003.7085206","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2003.7085206","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2003 European Control Conference (ECC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2076019503","https://openalex.org/W2377615010","https://openalex.org/W2767551628","https://openalex.org/W2324645912","https://openalex.org/W2104684595","https://openalex.org/W4238125051","https://openalex.org/W2099875977","https://openalex.org/W2347335047","https://openalex.org/W298138600","https://openalex.org/W2385637296"],"abstract_inverted_index":{"Decentralized":[0],"supervisory":[1],"controller":[2,53,93,107,115,126,138],"design":[3],"based":[4],"on":[5],"overlapping":[6,38],"decompositions":[7],"to":[8,62,104,123],"enforce":[9,63],"boundedness,":[10,64,140],"liveness,":[11,65,141],"and":[12,41,66,142],"reversibility":[13,67,143],"is":[14,31,59,75,121,133],"considerered":[15],"for":[16,54,94,108,116,127],"ordinary":[17],"Petri":[18,29,39,47,57,70,80,97,111,119,130,147],"nets":[19],"with":[20],"weighted":[21],"arcs.":[22],"In":[23],"the":[24,27,78,95,109,114,117,128,145],"proposed":[25],"approach,":[26],"given":[28],"net":[30,120],"first":[32],"decomposed":[33],"into":[34],"a":[35,91,106,125],"number":[36],"of":[37],"subnets":[40],"then":[42,102],"expanded":[43,110,118],"such":[44],"that":[45,69,135],"each":[46,55,73],"subnet":[48,58,74],"appear":[49],"as":[50],"disjoint.":[51],"A":[52],"disjoint":[56],"next":[60],"designed":[61],"in":[68,85,144],"subnet.":[71],"Since":[72],"smaller":[76],"than":[77,89],"original":[79,96,129,146],"net,":[81],"this":[82,136],"step":[83],"is,":[84],"general,":[86],"much":[87],"easier":[88],"obtaining":[90],"centralized":[92],"net.":[98,112,131,148],"These":[99],"controllers":[100],"are":[101],"combined":[103],"obtain":[105,124],"Finally,":[113],"contracted":[122],"It":[132],"shown":[134],"final":[137],"enforces":[139]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}