{"id":"https://openalex.org/W4406267029","doi":"https://doi.org/10.1109/icnsc62968.2024.10759952","title":"Automatic Modeling and Verification of Smart Contracts Based on Colored Petri Nets","display_name":"Automatic Modeling and Verification of Smart Contracts Based on Colored Petri Nets","publication_year":2024,"publication_date":"2024-10-18","ids":{"openalex":"https://openalex.org/W4406267029","doi":"https://doi.org/10.1109/icnsc62968.2024.10759952"},"language":"en","primary_location":{"id":"doi:10.1109/icnsc62968.2024.10759952","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnsc62968.2024.10759952","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 International Conference on Networking, Sensing and Control (ICNSC)","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/A5101405953","display_name":"Zheng Huang","orcid":"https://orcid.org/0000-0002-7245-0620"},"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":false,"raw_author_name":"Zheng Huang","raw_affiliation_strings":["Tongji University,Department of Computer Science and Technology,Shanghai,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tongji University,Department of Computer Science and Technology,Shanghai,China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080137283","display_name":"Shuo Li","orcid":"https://orcid.org/0000-0002-1984-6271"},"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":false,"raw_author_name":"Shuo Li","raw_affiliation_strings":["Tongji University,Department of Computer Science and Technology,Shanghai,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tongji University,Department of Computer Science and Technology,Shanghai,China","institution_ids":["https://openalex.org/I116953780"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041681214","display_name":"Zhijun Ding","orcid":"https://orcid.org/0000-0003-2178-6201"},"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":false,"raw_author_name":"Zhijun Ding","raw_affiliation_strings":["Tongji University,Department of Computer Science and Technology,Shanghai,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tongji University,Department of Computer Science and Technology,Shanghai,China","institution_ids":["https://openalex.org/I116953780"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I116953780"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.830299973487854,"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"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.830299973487854,"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"}},{"id":"https://openalex.org/T13181","display_name":"Economic and Technological Systems Analysis","score":0.7888000011444092,"subfield":{"id":"https://openalex.org/subfields/1405","display_name":"Management of Technology and Innovation"},"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/T14420","display_name":"Advanced Research in Systems and Signal Processing","score":0.7727000117301941,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/petri-net","display_name":"Petri net","score":0.8090264797210693},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.783883810043335},{"id":"https://openalex.org/keywords/colored","display_name":"Colored","score":0.6328996419906616},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.49417784810066223},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3522392213344574},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.349012553691864},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33941805362701416}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8090264797210693},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.783883810043335},{"id":"https://openalex.org/C2778307483","wikidata":"https://www.wikidata.org/wiki/Q5149038","display_name":"Colored","level":2,"score":0.6328996419906616},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.49417784810066223},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3522392213344574},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.349012553691864},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33941805362701416},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icnsc62968.2024.10759952","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnsc62968.2024.10759952","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 International Conference on Networking, Sensing and Control (ICNSC)","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":0,"referenced_works":[],"related_works":["https://openalex.org/W1938017683","https://openalex.org/W2158814988","https://openalex.org/W1543378523","https://openalex.org/W2355954834","https://openalex.org/W2285444239","https://openalex.org/W2257573499","https://openalex.org/W2901841247","https://openalex.org/W2091260341","https://openalex.org/W597347111","https://openalex.org/W2064254377"],"abstract_inverted_index":{"The":[0,84,165],"tamper-proof":[1],"feature":[2],"of":[3,8,53,86,192],"blockchain":[4,97],"makes":[5],"the":[6,17,51,96,101,138,149,161,168,176,188,193],"correctness":[7,166,191],"smart":[9,25,34,74,105,169],"contracts":[10,26,35,75,106],"crucial":[11],"before":[12],"they":[13],"are":[14,77,143],"run":[15],"on":[16,95,103,121,175],"chain.":[18],"Using":[19],"model":[20,46],"checking":[21,47],"methods":[22,48],"to":[23,73,155,158,186],"verify":[24],"helps":[27],"ensure":[28],"their":[29],"correctness.":[30],"Methods":[31],"for":[32,79],"converting":[33,104],"into":[36,107],"semantically":[37],"rigorous":[38],"formal":[39],"models":[40],"that":[41],"can":[42],"be":[43,156],"used":[44],"in":[45,58,100,167],"still":[49],"face":[50],"challenges":[52],"poor":[54],"usability":[55,189],"and":[56,76,89,93,128,134,140,145,147,190],"difficulty":[57],"breaking":[59],"away":[60],"from":[61],"manual":[62],"modeling.":[63,136],"Colored":[64],"Petri":[65,109,123,178],"nets,":[66,124],"as":[67],"discrete":[68],"state-based":[69],"systems,":[70],"have":[71],"similarities":[72],"suitable":[78],"analyzing":[80],"interactions":[81,133],"between":[82],"transactions.":[83],"analysis":[85],"control":[87,141],"flow":[88,91,132],"data":[90,131,139],"interactions,":[92],"transactions":[94],"is":[98,153,171,184],"missing":[99],"research":[102],"colored":[108,122,177],"nets.":[110],"In":[111],"this":[112],"paper,":[113],"we":[114],"propose":[115],"an":[116],"automated":[117],"modeling":[118,127,194],"method":[119],"based":[120,174],"using":[125],"template":[126],"combination":[129],"with":[130],"transaction":[135],"Firstly,":[137],"flows":[142],"modeled":[144,154],"combined,":[146],"secondly,":[148],"external":[150],"user":[151],"invocation":[152],"able":[157],"correctly":[159],"portray":[160],"on-chain":[162],"contract":[163,170],"invocations.":[164],"then":[172],"verified":[173],"net.":[179],"Finally":[180],"a":[181],"prototype":[182],"tool":[183],"implemented":[185],"demonstrate":[187],"algorithm.":[195]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}