{"id":"https://openalex.org/W3136084473","doi":"https://doi.org/10.1109/ccwc51732.2021.9376131","title":"Design Minimum Monitors and Maximally Permissive Supervisors Models of FMS by S<sup>4</sup>PR-Nets","display_name":"Design Minimum Monitors and Maximally Permissive Supervisors Models of FMS by S<sup>4</sup>PR-Nets","publication_year":2021,"publication_date":"2021-01-27","ids":{"openalex":"https://openalex.org/W3136084473","doi":"https://doi.org/10.1109/ccwc51732.2021.9376131","mag":"3136084473"},"language":"en","primary_location":{"id":"doi:10.1109/ccwc51732.2021.9376131","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccwc51732.2021.9376131","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5030148688","display_name":"Mowafak Hassan Abdul-Hussin","orcid":"https://orcid.org/0000-0001-7480-6435"},"institutions":[{"id":"https://openalex.org/I171256487","display_name":"University of Technology - Iraq","ror":"https://ror.org/01w1ehb86","country_code":"IQ","type":"education","lineage":["https://openalex.org/I171256487"]}],"countries":["IQ"],"is_corresponding":true,"raw_author_name":"Mowafak Hassan Abdul-Hussin","raw_affiliation_strings":["University of Technology,Dept. of Communication Engi.,Baghdad,IQ"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Technology,Dept. of Communication Engi.,Baghdad,IQ","institution_ids":["https://openalex.org/I171256487"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5030148688"],"corresponding_institution_ids":["https://openalex.org/I171256487"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"0696","last_page":"0701"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9943000078201294,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9919000267982483,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8997120261192322},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.857202410697937},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6122543811798096},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6113021969795227},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5912598371505737},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.5791870355606079},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.5573300719261169},{"id":"https://openalex.org/keywords/flexible-manufacturing-system","display_name":"Flexible manufacturing system","score":0.45740818977355957},{"id":"https://openalex.org/keywords/siphon","display_name":"Siphon (mollusc)","score":0.433828741312027},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3953149616718292},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.26918452978134155},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.2391875684261322},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21140998601913452},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.18972083926200867},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.0759354829788208}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8997120261192322},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.857202410697937},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6122543811798096},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6113021969795227},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5912598371505737},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.5791870355606079},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.5573300719261169},{"id":"https://openalex.org/C2777869240","wikidata":"https://www.wikidata.org/wiki/Q1424398","display_name":"Flexible manufacturing system","level":3,"score":0.45740818977355957},{"id":"https://openalex.org/C163629137","wikidata":"https://www.wikidata.org/wiki/Q1276903","display_name":"Siphon (mollusc)","level":2,"score":0.433828741312027},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3953149616718292},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26918452978134155},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2391875684261322},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21140998601913452},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.18972083926200867},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.0759354829788208},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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/ccwc51732.2021.9376131","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccwc51732.2021.9376131","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC)","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":29,"referenced_works":["https://openalex.org/W1600154216","https://openalex.org/W1904030840","https://openalex.org/W1976357915","https://openalex.org/W1980233554","https://openalex.org/W2056587795","https://openalex.org/W2116950538","https://openalex.org/W2129555627","https://openalex.org/W2140872435","https://openalex.org/W2146738006","https://openalex.org/W2156553949","https://openalex.org/W2319761178","https://openalex.org/W2413654032","https://openalex.org/W2594563654","https://openalex.org/W2765298273","https://openalex.org/W2775379516","https://openalex.org/W2896112909","https://openalex.org/W2942338997","https://openalex.org/W2943564911","https://openalex.org/W2946439073","https://openalex.org/W2971698298","https://openalex.org/W2982241419","https://openalex.org/W2995423747","https://openalex.org/W3002814017","https://openalex.org/W3013413544","https://openalex.org/W3033555834","https://openalex.org/W3116341551","https://openalex.org/W3117557623","https://openalex.org/W3151329635","https://openalex.org/W4239044044"],"related_works":["https://openalex.org/W1867637656","https://openalex.org/W2329232208","https://openalex.org/W1876958756","https://openalex.org/W117401069","https://openalex.org/W1904030840","https://openalex.org/W2029885248","https://openalex.org/W2145728809","https://openalex.org/W2111221748","https://openalex.org/W2999501513","https://openalex.org/W2369376749"],"abstract_inverted_index":{"The":[0,91,171],"design":[1],"minimum":[2],"monitors":[3,60],"and":[4,39,55,127],"maximally":[5],"permissive":[6],"supervisors":[7],"models":[8],"of":[9,12,23,43,65,73,85,100,114,168,174,177],"deadlock":[10,40,115],"control":[11,41],"Flexible":[13],"Manufacturing":[14],"Systems(FMSs)":[15],"on":[16,156],"a":[17,21,71,162,169],"large":[18],"scale":[19],"by":[20],"class":[22,72],"S":[24,138],"<sup":[25,79,139],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[26,80,140],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">4</sup>":[27,81,141],"PR-Net":[28],"are":[29],"presented":[30],"in":[31,105,109,136],"this":[32,178],"paper.":[33],"We":[34],"present":[35],"the":[36,44,50,62,83,122,129,147,157,166],"liveness":[37,98],"analysis":[38,99,160],"method":[42],"sequential":[45,86],"FMSs":[46],"that":[47,69,146],"allow":[48],"for":[49,61,97,124],"most":[51],"general":[52],"resource":[53,67],"allocation":[54],"flexible":[56],"routing.":[57],"Design":[58],"minimal":[59,163],"different":[63],"kinds":[64],"multi-unit":[66],"systems":[68,84,87],"require":[70],"Petri":[74,101],"Net":[75],"(PN),":[76],"namely":[77],"(S":[78],"PR):":[82],"with":[88],"shared":[89],"resources.":[90],"siphons":[92],"give":[93],"an":[94,133,137],"effective":[95],"tool":[96,123],"net":[102],"which":[103,117],"specializes":[104],"describing":[106],"dynamic":[107],"interactions":[108],"systems.":[110],"A":[111],"new":[112],"selection":[113],"prevention,":[116],"is":[118,132,151,161,180],"used":[119],"PN's":[120],"as":[121,143],"both,":[125],"modeling":[126],"controlling":[128],"system.":[130],"Liveness":[131],"important":[134],"property":[135],"PR,":[142],"it":[144],"implies":[145],"optimal":[148],"controlled":[149],"system":[150],"obtained.":[152],"This":[153],"methodology":[154],"based":[155],"siphon":[158,164],"PN":[159],"containing":[165],"support":[167],"P-semiflow.":[170],"performance":[172],"comparison":[173],"some":[175],"strategies":[176],"example":[179],"given.":[181]},"counts_by_year":[{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}