{"id":"https://openalex.org/W3166453917","doi":"https://doi.org/10.1145/3427091","title":"SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks","display_name":"SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks","publication_year":2021,"publication_date":"2021-05-29","ids":{"openalex":"https://openalex.org/W3166453917","doi":"https://doi.org/10.1145/3427091","mag":"3166453917"},"language":"en","primary_location":{"id":"doi:10.1145/3427091","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3427091","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","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/A5088231786","display_name":"Nicola Bombieri","orcid":"https://orcid.org/0000-0003-3256-5885"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Nicola Bombieri","raw_affiliation_strings":["Dept. Computer Science - Univ. Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Computer Science - Univ. Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029179891","display_name":"Silvia Scaffeo","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Silvia Scaffeo","raw_affiliation_strings":["Dept. Computer Science - Univ. Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Computer Science - Univ. Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044942957","display_name":"Antonio Mastrandrea","orcid":"https://orcid.org/0000-0003-4243-1258"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonio Mastrandrea","raw_affiliation_strings":["Dept. Computer Science - Univ. Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Computer Science - Univ. Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014142539","display_name":"Simone Caligola","orcid":"https://orcid.org/0000-0002-9829-9527"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Simone Caligola","raw_affiliation_strings":["Dept. Computer Science - Univ. Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Computer Science - Univ. Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027430553","display_name":"Tommaso Carlucci","orcid":"https://orcid.org/0000-0003-3459-361X"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Tommaso Carlucci","raw_affiliation_strings":["Dept. Medicine - Univ. Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Medicine - Univ. Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040302302","display_name":"Franco Fummi","orcid":"https://orcid.org/0000-0002-4404-5791"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Fummi","raw_affiliation_strings":["Dept. Computer Science - Univ. Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Computer Science - Univ. Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073711928","display_name":"Carlo Laudanna","orcid":"https://orcid.org/0000-0003-4050-1056"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Carlo Laudanna","raw_affiliation_strings":["Dept. Medicine - Univ. Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Medicine - Univ. Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028728182","display_name":"Gabriela Constantin","orcid":"https://orcid.org/0000-0001-8978-3539"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gabriela Constantin","raw_affiliation_strings":["Dept. Medicine - Univ. Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Medicine - Univ. Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002057785","display_name":"Rosalba Giugno","orcid":"https://orcid.org/0000-0001-9843-7638"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Rosalba Giugno","raw_affiliation_strings":["Dept. Computer Science - Univ. Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Dept. Computer Science - Univ. Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5088231786"],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04347826,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":"4","first_page":"1","last_page":"20"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10887","display_name":"Bioinformatics and Genomic Networks","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8549530506134033},{"id":"https://openalex.org/keywords/systemc","display_name":"SystemC","score":0.7249951958656311},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.65919029712677},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5979960560798645},{"id":"https://openalex.org/keywords/biological-network","display_name":"Biological network","score":0.5099846124649048},{"id":"https://openalex.org/keywords/stochastic-petri-net","display_name":"Stochastic Petri net","score":0.48016658425331116},{"id":"https://openalex.org/keywords/systems-biology","display_name":"Systems biology","score":0.459244042634964},{"id":"https://openalex.org/keywords/randomness","display_name":"Randomness","score":0.45451757311820984},{"id":"https://openalex.org/keywords/network-model","display_name":"Network model","score":0.45278048515319824},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44696542620658875},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.438364177942276},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.19724321365356445},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1369577944278717}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8549530506134033},{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.7249951958656311},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.65919029712677},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5979960560798645},{"id":"https://openalex.org/C28225019","wikidata":"https://www.wikidata.org/wiki/Q4915005","display_name":"Biological network","level":2,"score":0.5099846124649048},{"id":"https://openalex.org/C197551870","wikidata":"https://www.wikidata.org/wiki/Q7617809","display_name":"Stochastic Petri net","level":3,"score":0.48016658425331116},{"id":"https://openalex.org/C152662350","wikidata":"https://www.wikidata.org/wiki/Q815297","display_name":"Systems biology","level":2,"score":0.459244042634964},{"id":"https://openalex.org/C125112378","wikidata":"https://www.wikidata.org/wiki/Q176640","display_name":"Randomness","level":2,"score":0.45451757311820984},{"id":"https://openalex.org/C104122410","wikidata":"https://www.wikidata.org/wiki/Q1416406","display_name":"Network model","level":2,"score":0.45278048515319824},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44696542620658875},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.438364177942276},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.19724321365356445},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1369577944278717},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C70721500","wikidata":"https://www.wikidata.org/wiki/Q177005","display_name":"Computational biology","level":1,"score":0.0},{"id":"https://openalex.org/C60644358","wikidata":"https://www.wikidata.org/wiki/Q128570","display_name":"Bioinformatics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3427091","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3427091","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Life in Land","id":"https://metadata.un.org/sdg/15","score":0.5299999713897705}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W12256183","https://openalex.org/W22950313","https://openalex.org/W70960920","https://openalex.org/W95898642","https://openalex.org/W1494977866","https://openalex.org/W1513433586","https://openalex.org/W1521758819","https://openalex.org/W1566906897","https://openalex.org/W1573621493","https://openalex.org/W1740816575","https://openalex.org/W1807981783","https://openalex.org/W1971135164","https://openalex.org/W1975017523","https://openalex.org/W1975219547","https://openalex.org/W1986397618","https://openalex.org/W1988971963","https://openalex.org/W2011835017","https://openalex.org/W2016736362","https://openalex.org/W2027506430","https://openalex.org/W2042321087","https://openalex.org/W2044859335","https://openalex.org/W2060461359","https://openalex.org/W2072077152","https://openalex.org/W2074608940","https://openalex.org/W2104004040","https://openalex.org/W2104039751","https://openalex.org/W2111073599","https://openalex.org/W2113070032","https://openalex.org/W2118893325","https://openalex.org/W2121777611","https://openalex.org/W2123613958","https://openalex.org/W2143062031","https://openalex.org/W2150908245","https://openalex.org/W2155418451","https://openalex.org/W2161621619","https://openalex.org/W2163480486","https://openalex.org/W2166606713","https://openalex.org/W2412839122","https://openalex.org/W2491385276","https://openalex.org/W2529701792","https://openalex.org/W2740884958","https://openalex.org/W2810755205","https://openalex.org/W2990690886","https://openalex.org/W4205176208","https://openalex.org/W4241447991","https://openalex.org/W4243624473"],"related_works":["https://openalex.org/W2158714033","https://openalex.org/W78967844","https://openalex.org/W3213185671","https://openalex.org/W4210989272","https://openalex.org/W4386628104","https://openalex.org/W4206945140","https://openalex.org/W2509687359","https://openalex.org/W4212865750","https://openalex.org/W2362023034","https://openalex.org/W2063941210"],"abstract_inverted_index":{"Model":[0],"development":[1],"and":[2,20,46,64,71,82,169,251],"simulation":[3,26,65,252],"of":[4,31,86,156,201,211,229,235,245,253],"biological":[5,36,255],"networks":[6,52],"is":[7,108],"recognized":[8],"as":[9],"a":[10,44,109,131,137],"key":[11],"task":[12,111],"in":[13,18,21,114,232],"Systems":[14],"Biology.":[15],"Integrated":[16],"with":[17,259],"vitro":[19],"vivo":[22],"experimental":[23],"data,":[24],"network":[25,80,117,164,200],"allows":[27,152],"for":[28,94,103,153],"the":[29,32,75,79,83,116,121,150,157,163,170,178,187,192,197,202,208,212,219,227,233,236,243,246,249],"discovery":[30],"dynamics":[33],"that":[34,92,119,181],"regulate":[35],"systems.":[37],"Stochastic":[38],"Petri":[39],"Nets":[40],"(SPNs)":[41],"have":[42],"become":[43],"widespread":[45],"reference":[47],"formalism":[48],"to":[49,54,58,68,112,123,139,166,195,217,226],"model":[50,81,105,122,196,220],"metabolic":[51,199],"thanks":[53],"their":[55],"natural":[56],"expressiveness":[57],"represent":[59],"metabolites,":[60],"reactions,":[61],"molecule":[62],"interactions,":[63],"randomness":[66],"due":[67],"system":[69,87,96,213],"fluctuations":[70],"environmental":[72],"noise.":[73],"In":[74],"literature,":[76],"starting":[77],"from":[78],"complete":[84],"set":[85],"parameters,":[88],"there":[89],"exist":[90],"frameworks":[91],"allow":[93,102],"dynamic":[95],"simulation.":[97],"Nevertheless,":[98],"they":[99],"do":[100],"not":[101],"automatic":[104,154,209],"parameterization,":[106],"which":[107,224],"crucial":[110],"identify,":[113],"silico,":[115],"configurations":[118,180],"lead":[120],"satisfy":[124,182],"specific":[125],"temporal":[126],"properties.":[127,184],"To":[128],"cover":[129],"such":[130,183],"gap,":[132],"this":[133],"work":[134],"first":[135],"presents":[136],"framework":[138,151,171,194],"implement":[140],"SPN":[141],"models":[142],"into":[143],"SystemC":[144],"code.":[145],"Then,":[146],"it":[147],"shows":[148],"how":[149,207],"parameterization":[155],"networks.":[158],"The":[159],"user":[160],"formally":[161],"defines":[162],"properties":[165],"be":[167],"observed":[168],"automatically":[172],"extrapolates,":[173],"through":[174,248],"Assertion-based":[175],"Verification":[176],"(ABV),":[177],"parameter":[179],"We":[185,205,240],"present":[186],"results":[188],"obtained":[189],"by":[190],"applying":[191],"proposed":[193],"complex":[198],"purine":[203,238],"metabolism.":[204],"show":[206,242],"extrapolation":[210],"parameters":[214],"allowed":[215],"us":[216],"simulate":[218],"under":[221],"different":[222,260],"conditions,":[223],"led":[225],"understanding":[228],"behavioral":[230],"differences":[231],"regulation":[234],"entire":[237],"network.":[239],"also":[241],"scalability":[244],"approach":[247],"modeling":[250],"four":[254],"networks,":[256],"each":[257],"one":[258],"structural":[261],"characteristics.":[262]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}