乐胖代购免代理版

{"id":"https://openalex.org/W1982451772","doi":"https://doi.org/10.1109/coase.2013.6653897","title":"A control policy for γ-nets without reachability analysis and siphon enumeration","display_name":"A control policy for γ-nets without reachability analysis and siphon enumeration","publication_year":2013,"publication_date":"2013-08-01","ids":{"openalex":"https://openalex.org/W1982451772","doi":"https://doi.org/10.1109/coase.2013.6653897","mag":"1982451772"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2013.6653897","pdf_url":null,"source":{"id":"https://openalex.org/S4393918236","display_name":"IEEE International Conference on Automation Science and Engineering (CASE)","issn_l":"2161-8070","issn":["2161-8070"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5103079121","display_name":"Wenhui Wu","orcid":"https://orcid.org/0000-0003-3346-8796"},"institutions":[{"id":"https://openalex.org/I75059550","display_name":"Zhejiang Gongshang University","ror":"https://ror.org/0569mkk41","country_code":"CN","type":"education","lineage":["https://openalex.org/I75059550"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenhui Wu","raw_affiliation_strings":["[Coll. of Inf. & Electron. Eng., Zhejiang Gongshang Univ., Hangzhou, China]"],"affiliations":[{"raw_affiliation_string":"[Coll. of Inf. & Electron. Eng., Zhejiang Gongshang Univ., Hangzhou, China]","institution_ids":["https://openalex.org/I75059550"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111529913","display_name":"Daniel Yuh Chao","orcid":null},"institutions":[{"id":"https://openalex.org/I87354575","display_name":"National Chengchi University","ror":"https://ror.org/03rqk8h36","country_code":"TW","type":"education","lineage":["https://openalex.org/I87354575"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Daniel Yuh Chao","raw_affiliation_strings":["[Dept. of Manage. Inf. Syst., Nat. Chengchi Univ., Taipei, Taiwan]"],"affiliations":[{"raw_affiliation_string":"[Dept. of Manage. Inf. Syst., Nat. Chengchi Univ., Taipei, Taiwan]","institution_ids":["https://openalex.org/I87354575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101169567","display_name":"Fang Yu","orcid":null},"institutions":[{"id":"https://openalex.org/I87354575","display_name":"National Chengchi University","ror":"https://ror.org/03rqk8h36","country_code":"TW","type":"education","lineage":["https://openalex.org/I87354575"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Fang Yu","raw_affiliation_strings":["[Dept. of Manage. Inf. Syst., Nat. Chengchi Univ., Taipei, Taiwan]"],"affiliations":[{"raw_affiliation_string":"[Dept. of Manage. Inf. Syst., Nat. Chengchi Univ., Taipei, Taiwan]","institution_ids":["https://openalex.org/I87354575"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.242,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":1,"citation_normalized_percentile":{"value":0.231648,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":65,"max":72},"biblio":{"volume":null,"issue":null,"first_page":"1133","last_page":"1138"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9999,"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.9999,"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.998,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9952,"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/siphon","display_name":"Siphon (mollusc)","score":0.6918026},{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.5190595},{"id":"https://openalex.org/keywords/permissive","display_name":"Permissive","score":0.47967005}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9260145},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.8453353},{"id":"https://openalex.org/C163629137","wikidata":"https://www.wikidata.org/wiki/Q1276903","display_name":"Siphon (mollusc)","level":2,"score":0.6918026},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6501901},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.6472647},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5683557},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5255346},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.5190595},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5160989},{"id":"https://openalex.org/C15224491","wikidata":"https://www.wikidata.org/wiki/Q7169338","display_name":"Permissive","level":2,"score":0.47967005},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3621469},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.34573317},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.302477},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27776366},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2737014},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.26647487},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17298248},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15024042},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.12260309},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2013.6653897","pdf_url":null,"source":{"id":"https://openalex.org/S4393918236","display_name":"IEEE International Conference on Automation Science and Engineering (CASE)","issn_l":"2161-8070","issn":["2161-8070"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.53}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":23,"referenced_works":["https://openalex.org/W1525832927","https://openalex.org/W1965505531","https://openalex.org/W1976357915","https://openalex.org/W1978787137","https://openalex.org/W2001671625","https://openalex.org/W2005217875","https://openalex.org/W2017382242","https://openalex.org/W2037793894","https://openalex.org/W2053369452","https://openalex.org/W2094079845","https://openalex.org/W2113418311","https://openalex.org/W2124901174","https://openalex.org/W2126623120","https://openalex.org/W2132355828","https://openalex.org/W2143714396","https://openalex.org/W2148779857","https://openalex.org/W2157750688","https://openalex.org/W2163839607","https://openalex.org/W2165406169","https://openalex.org/W2165594843","https://openalex.org/W2310793150","https://openalex.org/W4236164983","https://openalex.org/W614929447"],"related_works":["https://openalex.org/W4300125793","https://openalex.org/W2753275255","https://openalex.org/W2406961474","https://openalex.org/W2156446763","https://openalex.org/W2152678253","https://openalex.org/W2136512912","https://openalex.org/W2127267268","https://openalex.org/W2118512822","https://openalex.org/W2067910792","https://openalex.org/W108845024"],"abstract_inverted_index":{"Synthesizing":[0],"maximally":[1,71,131],"permissive":[2,132],"controllers":[3,15],"with":[4,149],"fewest":[5],"monitors":[6,63,99],"has":[7],"been":[8],"a":[9,116,130,136],"popular":[10],"research":[11],"topic.":[12],"Current":[13],"optimal":[14],"for":[16,135],"large":[17],"flexible":[18],"manufacturing":[19],"systems":[20],"(FMS)":[21],"require":[22],"costly":[23],"time":[24],"consuming":[25],"reachability":[26],"analysis.":[27],"Our":[28],"previous":[29],"work":[30],"shows":[31],"that":[32,106],"among":[33],"all":[34,110],"n-dependent":[35],"siphons,":[36,125],"only":[37],"one":[38],"siphon":[39],"(whose":[40],"unmarked":[41,124],"state":[42],"follows":[43],"specific":[44],"token":[45],"distribution)":[46],"needs":[47],"to":[48,91],"be":[49,89,92],"controlled.":[50],"This":[51],"greatly":[52],"simplifies":[53],"the":[54,60,67,85,98,107,111],"synthesis":[55],"as":[56,58],"well":[57],"minimizes":[59],"number":[61],"of":[62,109,123,138,145],"required":[64],"while":[65],"making":[66],"controlled":[68,102],"net":[69],"nearly":[70],"permissive.":[72],"However,":[73],"some":[74],"live":[75,83],"states":[76],"may":[77],"get":[78],"lost.":[79],"To":[80],"reach":[81],"more":[82],"states,":[84],"controller":[86,113],"regions":[87,114],"must":[88],"refined":[90],"less":[93],"affected":[94],"or":[95],"disturbed":[96],"by":[97],"and":[100],"their":[101],"arcs.":[103],"We":[104],"observe":[105],"markings":[108],"resulting":[112],"follow":[115],"simple":[117],"pattern.":[118],"Based":[119],"on":[120],"this":[121,126],"pattern":[122],"paper":[127],"further":[128],"proposes":[129],"control":[133],"policy":[134],"subclass":[137],"S":[139],"3":[142],"PR":[143],"(Systems":[144],"Simple":[146],"Sequential":[147],"Processes":[148],"Resources).":[150]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1982451772","counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2024-12-08T03:52:07.827312","created_date":"2016-06-24"}