{"id":"https://openalex.org/W2078374173","doi":"https://doi.org/10.1109/tsmca.2012.2186440","title":"Reduction and Refinement by Algebraic Operations for Petri Net Transformation","display_name":"Reduction and Refinement by Algebraic Operations for Petri Net Transformation","publication_year":2012,"publication_date":"2012-03-13","ids":{"openalex":"https://openalex.org/W2078374173","doi":"https://doi.org/10.1109/tsmca.2012.2186440","mag":"2078374173"},"language":"en","primary_location":{"id":"doi:10.1109/tsmca.2012.2186440","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmca.2012.2186440","pdf_url":null,"source":{"id":"https://openalex.org/S4210201610","display_name":"IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans","issn_l":"1083-4427","issn":["1083-4427","1558-2426"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans","raw_type":"journal-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/A5100361728","display_name":"Jun Li","orcid":"https://orcid.org/0000-0001-9514-0644"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jun Li","raw_affiliation_strings":["School of Automation, South East University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"School of Automation, South East University, Nanjing, China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081318069","display_name":"MengChu Zhou","orcid":"https://orcid.org/0000-0002-5408-8752"},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]},{"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","US"],"is_corresponding":false,"raw_author_name":"MengChu Zhou","raw_affiliation_strings":["Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA","Key Laboratory of Embedded System and Service Computing, Ministry of Education, University of Tongji, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, USA","institution_ids":["https://openalex.org/I118118575"]},{"raw_affiliation_string":"Key Laboratory of Embedded System and Service Computing, Ministry of Education, University of Tongji, Shanghai, China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112121024","display_name":"Xianzhong Dai","orcid":null},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xianzhong Dai","raw_affiliation_strings":["School of Automation, South East University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"School of Automation, South East University, Nanjing, China","institution_ids":["https://openalex.org/I76569877"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100361728"],"corresponding_institution_ids":["https://openalex.org/I76569877"],"apc_list":null,"apc_paid":null,"fwci":6.065,"has_fulltext":false,"cited_by_count":38,"citation_normalized_percentile":{"value":0.96853324,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"42","issue":"5","first_page":"1244","last_page":"1255"},"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.9998000264167786,"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.9998000264167786,"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.9988999962806702,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/subnet","display_name":"Subnet","score":0.8328732252120972},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.7865641117095947},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7862281203269958},{"id":"https://openalex.org/keywords/net","display_name":"Net (polyhedron)","score":0.7428187131881714},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.6407133340835571},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6074694395065308},{"id":"https://openalex.org/keywords/operand","display_name":"Operand","score":0.598668098449707},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.5407211184501648},{"id":"https://openalex.org/keywords/algebraic-operation","display_name":"Algebraic operation","score":0.4807543456554413},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4605964422225952},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.4572529196739197},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41492199897766113},{"id":"https://openalex.org/keywords/sorting","display_name":"Sorting","score":0.41008704900741577},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36266958713531494},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35555657744407654},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.277986079454422},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.07108846306800842}],"concepts":[{"id":"https://openalex.org/C21099817","wikidata":"https://www.wikidata.org/wiki/Q7631721","display_name":"Subnet","level":2,"score":0.8328732252120972},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.7865641117095947},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7862281203269958},{"id":"https://openalex.org/C14166107","wikidata":"https://www.wikidata.org/wiki/Q253829","display_name":"Net (polyhedron)","level":2,"score":0.7428187131881714},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6407133340835571},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6074694395065308},{"id":"https://openalex.org/C55526617","wikidata":"https://www.wikidata.org/wiki/Q719375","display_name":"Operand","level":2,"score":0.598668098449707},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.5407211184501648},{"id":"https://openalex.org/C136003732","wikidata":"https://www.wikidata.org/wiki/Q3854337","display_name":"Algebraic operation","level":3,"score":0.4807543456554413},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4605964422225952},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.4572529196739197},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41492199897766113},{"id":"https://openalex.org/C111696304","wikidata":"https://www.wikidata.org/wiki/Q2303697","display_name":"Sorting","level":2,"score":0.41008704900741577},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36266958713531494},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35555657744407654},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.277986079454422},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.07108846306800842},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsmca.2012.2186440","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmca.2012.2186440","pdf_url":null,"source":{"id":"https://openalex.org/S4210201610","display_name":"IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans","issn_l":"1083-4427","issn":["1083-4427","1558-2426"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":70,"referenced_works":["https://openalex.org/W97369260","https://openalex.org/W614929447","https://openalex.org/W627911362","https://openalex.org/W634312912","https://openalex.org/W1490850339","https://openalex.org/W1551640017","https://openalex.org/W1589975973","https://openalex.org/W1972264996","https://openalex.org/W1975148645","https://openalex.org/W1980926994","https://openalex.org/W1989082972","https://openalex.org/W1990357312","https://openalex.org/W1996109622","https://openalex.org/W1997871183","https://openalex.org/W1999698448","https://openalex.org/W2000106464","https://openalex.org/W2008846552","https://openalex.org/W2011589240","https://openalex.org/W2024035132","https://openalex.org/W2032196025","https://openalex.org/W2032336460","https://openalex.org/W2033983519","https://openalex.org/W2035556324","https://openalex.org/W2053369452","https://openalex.org/W2053688063","https://openalex.org/W2060084509","https://openalex.org/W2064378637","https://openalex.org/W2076749410","https://openalex.org/W2078928955","https://openalex.org/W2080403682","https://openalex.org/W2085745295","https://openalex.org/W2089545832","https://openalex.org/W2097305928","https://openalex.org/W2098552099","https://openalex.org/W2100003513","https://openalex.org/W2103278388","https://openalex.org/W2109417943","https://openalex.org/W2110681125","https://openalex.org/W2110808353","https://openalex.org/W2112788196","https://openalex.org/W2113127049","https://openalex.org/W2114356561","https://openalex.org/W2118898045","https://openalex.org/W2124225983","https://openalex.org/W2126163520","https://openalex.org/W2128454338","https://openalex.org/W2130310612","https://openalex.org/W2130931359","https://openalex.org/W2132355828","https://openalex.org/W2138257649","https://openalex.org/W2144623944","https://openalex.org/W2145065020","https://openalex.org/W2146220225","https://openalex.org/W2149110313","https://openalex.org/W2153280083","https://openalex.org/W2154637219","https://openalex.org/W2157572995","https://openalex.org/W2160490183","https://openalex.org/W2162860209","https://openalex.org/W2163839607","https://openalex.org/W2167411847","https://openalex.org/W2170610519","https://openalex.org/W2171552300","https://openalex.org/W2306172304","https://openalex.org/W2307359781","https://openalex.org/W2310250136","https://openalex.org/W2316865521","https://openalex.org/W2526975839","https://openalex.org/W4232590029","https://openalex.org/W4255837018"],"related_works":["https://openalex.org/W1671817583","https://openalex.org/W2295291212","https://openalex.org/W2377891237","https://openalex.org/W2014292684","https://openalex.org/W2377615010","https://openalex.org/W2046360368","https://openalex.org/W2155660625","https://openalex.org/W1543378523","https://openalex.org/W2016850136","https://openalex.org/W4238125051"],"abstract_inverted_index":{"Petri":[0],"net":[1,10,20,64,75,84,109,129,153,172],"(PN)":[2],"transformation":[3,54,65,76,85,92,115,173,183],"is":[4,202,221],"a":[5,9,71,108,152,170,225,230],"method":[6],"for":[7,82,112,163],"converting":[8],"from":[11,90],"one":[12],"structure":[13],"to":[14,51,196,223],"another.":[15],"The":[16],"existing":[17,96],"approaches":[18],"are":[19,146,167,178,212],"content":[21],"dependent,":[22],"i.e.,":[23],"all":[24],"elements":[25],"of":[26,62,74,116,141,180,229],"the":[27,33,53,80,91,95,113,137,142,181,186,189,200,217],"right-":[28],"and":[29,39,49,57,98,124,127,139,165,191,204],"left-hand-side":[30],"nets":[31,35,193],"or":[32],"operand":[34,143],"participate":[36],"in":[37,94,134,151,175],"matching":[38],"related":[40],"operations":[41,162],"during":[42],"transformation.":[43],"They":[44],"incur":[45],"high":[46],"computational":[47],"complexity":[48],"difficulty":[50],"predict":[52],"results.":[55],"Reduction":[56],"refinement":[58,99,166],"as":[59,199,214],"two":[60],"kinds":[61],"elementary":[63],"have":[66,86],"not":[67,87],"been":[68,88],"brought":[69],"into":[70],"unified":[72,171],"framework":[73,174],"approaches.":[77],"In":[78],"addition,":[79],"criteria":[81],"steering":[83],"separated":[89],"manipulations":[93],"reduction":[97,164,219],"methods.":[100],"To":[101],"solve":[102],"these":[103],"problems,":[104],"this":[105],"work":[106],"proposes":[107],"algebraic":[110,154,218],"system":[111],"general":[114],"nets.":[117],"It":[118],"possesses":[119],"node":[120],"operation,":[121,123],"block":[122],"basic":[125],"place-":[126],"transition-interfaced":[128],"operation":[130,140,220],"algebras.":[131],"Net-content-independent":[132],"transformation,":[133],"which":[135,176],"only":[136],"location":[138],"nets'":[144],"interfaces":[145],"involved,":[147],"can":[148],"be":[149],"achieved":[150],"way.":[155],"Furthermore,":[156],"by":[157],"composing":[158],"several":[159,207],"operations,":[160],"new":[161],"defined":[168],"within":[169],"they":[177],"independent":[179],"specific":[182],"criteria.":[184],"Subsequently,":[185],"equivalence":[187],"between":[188],"original":[190],"transformed":[192],"with":[194],"respect":[195],"PN":[197,227],"properties":[198],"criterion":[201],"investigated":[203],"proved":[205],"when":[206],"newly":[208],"proposed":[209],"subnet":[210],"structures":[211],"used":[213],"operands.":[215],"Finally,":[216],"applied":[222],"analyze":[224],"complicated":[226],"model":[228],"mail":[231],"sorting":[232],"system.":[233]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":6}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}