{"id":"https://openalex.org/W1972200136","doi":"https://doi.org/10.1142/s021812660500260x","title":"PROPERTY-PRESERVING COMPOSITION BY PLACE MERGING","display_name":"PROPERTY-PRESERVING COMPOSITION BY PLACE MERGING","publication_year":2005,"publication_date":"2005-08-01","ids":{"openalex":"https://openalex.org/W1972200136","doi":"https://doi.org/10.1142/s021812660500260x","mag":"1972200136"},"language":"en","primary_location":{"id":"doi:10.1142/s021812660500260x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s021812660500260x","pdf_url":null,"source":{"id":"https://openalex.org/S167602672","display_name":"Journal of Circuits Systems and Computers","issn_l":"0218-1266","issn":["0218-1266","1793-6454"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Circuits, Systems and Computers","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/A5100419499","display_name":"Jiao Li","orcid":"https://orcid.org/0000-0002-8027-5877"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"LI JIAO","raw_affiliation_strings":["Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102748055","display_name":"Hejiao Huang","orcid":"https://orcid.org/0000-0001-8728-3012"},"institutions":[{"id":"https://openalex.org/I158809036","display_name":"Shenzhen Institute of Information Technology","ror":"https://ror.org/03wrf9427","country_code":"CN","type":"education","lineage":["https://openalex.org/I158809036"]},{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"HEJIAO HUANG","raw_affiliation_strings":["Department of Computer Science and Information Technology, Harbin Institute of Technology, Shenzhen Graduate School, Shenzhen, China","Department of Computer Science and Information Technology, Harbin Institute of Technology, Shenzhen Graduate School, Shenzhen, China#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Information Technology, Harbin Institute of Technology, Shenzhen Graduate School, Shenzhen, China","institution_ids":["https://openalex.org/I158809036","https://openalex.org/I204983213"]},{"raw_affiliation_string":"Department of Computer Science and Information Technology, Harbin Institute of Technology, Shenzhen Graduate School, Shenzhen, China#TAB#","institution_ids":["https://openalex.org/I158809036","https://openalex.org/I204983213"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108442617","display_name":"To-Yat Cheung","orcid":null},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"TO-YAT CHEUNG","raw_affiliation_strings":["Department of Computer Science, City University of Hong Kong, Hong Kong, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, City University of Hong Kong, Hong Kong, China","institution_ids":["https://openalex.org/I168719708"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9105,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.85402087,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"14","issue":"04","first_page":"793","last_page":"812"},"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9977999925613403,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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/liveness","display_name":"Liveness","score":0.9677120447158813},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.7217175364494324},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6744572520256042},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.6732671856880188},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.588634192943573},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.5743796229362488},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5538944005966187},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4645656645298004},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3352832794189453},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.1926059126853943},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12632253766059875},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12071791291236877}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9677120447158813},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.7217175364494324},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6744572520256042},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6732671856880188},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.588634192943573},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.5743796229362488},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5538944005966187},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4645656645298004},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3352832794189453},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.1926059126853943},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12632253766059875},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12071791291236877},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s021812660500260x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s021812660500260x","pdf_url":null,"source":{"id":"https://openalex.org/S167602672","display_name":"Journal of Circuits Systems and Computers","issn_l":"0218-1266","issn":["0218-1266","1793-6454"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Circuits, Systems and Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.5699999928474426,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W54701845","https://openalex.org/W1490850339","https://openalex.org/W1551214605","https://openalex.org/W1553057651","https://openalex.org/W1996109622","https://openalex.org/W1996467290","https://openalex.org/W2011589240","https://openalex.org/W2097948904","https://openalex.org/W2110920108","https://openalex.org/W2571119887","https://openalex.org/W4210597111"],"related_works":["https://openalex.org/W2007793605","https://openalex.org/W2005581605","https://openalex.org/W2049922271","https://openalex.org/W2373904746","https://openalex.org/W771256949","https://openalex.org/W2140051071","https://openalex.org/W1537559372","https://openalex.org/W2373818733","https://openalex.org/W90510024","https://openalex.org/W2366576378"],"abstract_inverted_index":{"Place":[0],"merging":[1],"is":[2,19,53,119],"an":[3],"important":[4],"technique":[5],"of":[6,68,82,86,113],"Petri":[7],"nets":[8],"to":[9,25,54,59,121],"composite":[10,29],"different":[11],"components/subsystems":[12],"into":[13],"a":[14,20,43,57],"large":[15,30,96],"system.":[16,74],"However,":[17],"it":[18],"difficult":[21],"and":[22,66,125],"complex":[23],"task":[24],"guarantee":[26],"that":[27],"the":[28,39,69,72,95,102,107,111],"system":[31,97],"can":[32],"preserve":[33,60,106],"desired":[34],"properties.":[35],"This":[36],"paper":[37,52,77],"avoids":[38],"verification":[40],"process":[41],"by":[42],"property-preservation":[44],"place-merging":[45],"approach.":[46],"The":[47],"strategy":[48],"used":[49],"in":[50,71,84],"this":[51,76],"require":[55],"such":[56],"composition":[58],"these":[61],"desirable":[62,108],"properties":[63,109],"(including":[64],"liveness":[65],"boundedness)":[67],"components":[70,104],"resulting":[73,103],"Meanwhile,":[75],"also":[78,105],"investigates":[79],"one":[80],"kind":[81],"decompositions":[83],"terms":[85],"places,":[87],"some":[88,99,126],"conditions":[89],"are":[90],"presented":[91],"under":[92],"which":[93],"if":[94],"possesses":[98],"properties,":[100],"then":[101],"without":[110],"need":[112],"further":[114],"verification.":[115],"An":[116],"application":[117],"example":[118],"given":[120],"illustrate":[122],"our":[123],"method":[124],"main":[127],"results.":[128]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}