乐胖代购免代理版

{"id":"https://openalex.org/W4386814448","doi":"https://doi.org/10.3390/sym15091775","title":"Depth-First Net Unfoldings and Equivalent Reduction","display_name":"Depth-First Net Unfoldings and Equivalent Reduction","publication_year":2023,"publication_date":"2023-09-16","ids":{"openalex":"https://openalex.org/W4386814448","doi":"https://doi.org/10.3390/sym15091775"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym15091775","pdf_url":"https://www.mdpi.com/2073-8994/15/9/1775/pdf?version=1695029719","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2073-8994/15/9/1775/pdf?version=1695029719","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033189656","display_name":"Xu Yang","orcid":"https://orcid.org/0000-0002-1358-1524"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xu Yang","raw_affiliation_strings":["Department of Computer Science and Technology, College of Electronic and Information, Tongji University, Shanghai 201804, China","The Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai 201804, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, College of Electronic and Information, Tongji University, Shanghai 201804, China","institution_ids":["https://openalex.org/I116953780"]},{"raw_affiliation_string":"The Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai 201804, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100396642","display_name":"Chen Ye","orcid":"https://orcid.org/0000-0002-0048-6974"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Chen Ye","raw_affiliation_strings":["The Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai 201804, China"],"affiliations":[{"raw_affiliation_string":"The Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai 201804, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100413918","display_name":"Yijun Chen","orcid":"https://orcid.org/0000-0002-4920-152X"},"institutions":[{"id":"https://openalex.org/I116953780","display_name":"Tongji University","ror":"https://ror.org/03rc6as71","country_code":"CN","type":"education","lineage":["https://openalex.org/I116953780"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yijun Chen","raw_affiliation_strings":["National Maglev Transportation Engineering R&D Center, Tongji University, Shanghai 201804, China"],"affiliations":[{"raw_affiliation_string":"National Maglev Transportation Engineering R&D Center, Tongji University, Shanghai 201804, China","institution_ids":["https://openalex.org/I116953780"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5033189656","https://openalex.org/A5100396642","https://openalex.org/A5100413918"],"corresponding_institution_ids":["https://openalex.org/I116953780","https://openalex.org/I116953780","https://openalex.org/I116953780"],"apc_list":{"value":2000,"currency":"CHF","value_usd":2165,"provenance":"doaj"},"apc_paid":{"value":2000,"currency":"CHF","value_usd":2165,"provenance":"doaj"},"fwci":0.407,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":1,"citation_normalized_percentile":{"value":0.59721,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":67,"max":78},"biblio":{"volume":"15","issue":"9","first_page":"1775","last_page":"1775"},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9994,"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/T10142","display_name":"Formal Methods in Verification","score":0.9987,"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/completeness","display_name":"Completeness (order theory)","score":0.5961241}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6315146},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5961241},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5944935},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.57387644},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5483457},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48596585},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.45643675},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43892893},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37862983},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3763585},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.33849877},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27378237},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.12249878},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.082157046},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.05898264}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym15091775","pdf_url":"https://www.mdpi.com/2073-8994/15/9/1775/pdf?version=1695029719","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym15091775","pdf_url":"https://www.mdpi.com/2073-8994/15/9/1775/pdf?version=1695029719","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.66}],"grants":[{"funder":"https://openalex.org/F4320321885","funder_display_name":"Science and Technology Commission of Shanghai Municipality","award_id":"18DZ1205803"}],"datasets":[],"versions":[],"referenced_works_count":27,"referenced_works":["https://openalex.org/W1518016640","https://openalex.org/W1527942721","https://openalex.org/W1756000016","https://openalex.org/W1974584968","https://openalex.org/W1975899067","https://openalex.org/W2029571740","https://openalex.org/W2057509434","https://openalex.org/W2079457487","https://openalex.org/W2140712028","https://openalex.org/W2461613086","https://openalex.org/W2466104094","https://openalex.org/W2578070173","https://openalex.org/W2586688512","https://openalex.org/W2610925731","https://openalex.org/W2613129163","https://openalex.org/W2747419197","https://openalex.org/W2948696358","https://openalex.org/W2958615475","https://openalex.org/W2963322207","https://openalex.org/W2979494118","https://openalex.org/W3014722445","https://openalex.org/W3043626952","https://openalex.org/W3091761631","https://openalex.org/W3098882403","https://openalex.org/W4205148915","https://openalex.org/W4226512898","https://openalex.org/W4243889443"],"related_works":["https://openalex.org/W4230983483","https://openalex.org/W2294256896","https://openalex.org/W2154888955","https://openalex.org/W2154794415","https://openalex.org/W2132799268","https://openalex.org/W2062463517","https://openalex.org/W2062420902","https://openalex.org/W1980200158","https://openalex.org/W1551257573","https://openalex.org/W1492717267"],"abstract_inverted_index":{"In":[0,53,87],"Petri":[1],"net":[2],"unfolding,":[3],"according":[4],"to":[5,42,47],"the":[6,14,19,23,49,84,89,93,95],"strategies":[7],"of":[8,22],"breadth":[9],"first":[10],"and":[11,77,92,99,101],"depth":[12],"first,":[13],"biggest":[15],"problem":[16],"lies":[17],"in":[18],"potential":[20],"explosion":[21],"state":[24,50,66],"space.":[25],"Unfolding":[26],"generates":[27],"either":[28],"accessible":[29,40],"trees":[30],"or":[31,37],"branch":[32,38],"processes.":[33],"Making":[34],"marking":[35],"reduction":[36,59],"cutting":[39],"proves":[41],"be":[43],"an":[44],"effective":[45],"approach":[46],"mitigating":[48],"space":[51,67],"expansion.":[52],"this":[54],"paper,":[55],"we":[56],"propose":[57,78],"three":[58,70],"rules":[60],"based":[61],"on":[62],"similarity":[63],"equivalence,":[64],"conduct":[65],"reduction,":[68],"present":[69],"theorems":[71],"supported":[72],"by":[73,106],"a":[74,79],"case":[75,91],"study,":[76],"new":[80,90],"unfolding":[81,85],"algorithm":[82],"for":[83],"process.":[86],"both":[88],"experiments,":[94],"completeness,":[96,98],"optimality,":[97],"memory":[100],"time":[102],"consumption":[103],"are":[104],"reduced":[105],"about":[107],"60%.":[108]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4386814448","counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-01-02T17:38:27.388348","created_date":"2023-09-18"}