{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,28]],"date-time":"2026-09-28T20:15:44Z","timestamp":1790626544974,"version":"4.1.0"},"reference-count":41,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2015,4,6]],"date-time":"2015-04-06T00:00:00Z","timestamp":1428278400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Eranet Sysbio C5Sys project"},{"name":"French OSEO Biointelligenceand ANR BioTempo projects"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Model. Comput. Simul."],"published-print":{"date-parts":[[2015,4,6]]},"abstract":"<jats:p>Models of biochemical systems presented as a set of formal reaction rules can be interpreted in different formalisms, most notably as either deterministic Ordinary Differential Equations, stochastic continuous-time Markov Chains, Petri nets, or Boolean transition systems. While the formal composition of reaction systems can be syntactically defined as the (multiset) union of the reactions, the composition and simulation of models in different formalisms remain a largely open issue. In this article, we show that the combination of reaction rules and events, as already present in SBML, can be used in a nonstandard way to define stochastic and Boolean simulators and give meaning to the hybrid composition and simulation of heterogeneous models of biochemical processes. In particular, we show how two SBML reaction models can be composed into one hybrid continuous--stochastic SBML model through a high-level interface for composing reaction models and specifying their interpretation. Furthermore, we describe dynamic strategies for automatically partitioning reactions with stochastic or continuous interpretations according to dynamic criteria. The performances are then compared to static partitioning. The proposed approach is illustrated and evaluated on several examples, including the reconstructions of the hybrid model of the mammalian cell cycle regulation of Singhania et al. as the composition of a Boolean model of cell cycle phase transitions with a continuous model of cyclin activation, the hybrid stochastic--continuous models of bacteriophage T7 infection of Alfonsi et al., and the bacteriophage \u03bb model of Goutsias, showing the gain in both accuracy and simulation time of the dynamic partitioning strategy.<\/jats:p>","DOI":"10.1145\/2742545","type":"journal-article","created":{"date-parts":[[2015,5,11]],"date-time":"2015-05-11T16:30:57Z","timestamp":1431361857000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Hybrid Simulations of Heterogeneous Biochemical Models in SBML"],"prefix":"10.1145","volume":"25","author":[{"given":"Hui Ju K.","family":"Chiang","sequence":"first","affiliation":[{"name":"Graduate Institute of Electronics Engineering, National Taiwan University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[{"name":"Inria Paris-Rocquencourt, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jie Hong R.","family":"Jiang","sequence":"additional","affiliation":[{"name":"Graduate Institute of Electronics Engineering, National Taiwan University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[{"name":"Inria Paris-Rocquencourt, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,5,6]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1159\/000110010"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJBRA.2008.019573"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.19.1"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1051\/proc:2005001"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646881.710622"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1038\/75556"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25974-9_22"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1003306"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/645522.656473"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btl172"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/648295.754693"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.04.024"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68894-5_3"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.10.004"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646881.710618"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1780158.1780172"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(76)90041-3"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1378322"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1021\/jp806431b"},{"key":"e_1_2_2_21_1","volume-title":"Wilkinson","author":"Golightly Andrew","year":"2011","unstructured":"Andrew Golightly and Darren J . Wilkinson . 2011 . Bayesian parameter inference for stochastic biochemical network models using particle Markov chain Monte Carlo. Interface Focus ( 2011). DOI:http:\/\/dx.doi.org\/10.1098\/rsfs.2011.0047 10.1098\/rsfs.2011.0047 Andrew Golightly and Darren J. Wilkinson. 2011. Bayesian parameter inference for stochastic biochemical network models using particle Markov chain Monte Carlo. Interface Focus (2011). DOI:http:\/\/dx.doi.org\/10.1098\/rsfs.2011.0047"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0167-z"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2007.07.020"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788803"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/647766.760724"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1839764.1839772"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btg015"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.genom.2.1.343"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/28.1.27"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cell.2012.05.044"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btg409"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1364644.1364651"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68413-8_6"},{"key":"e_1_2_2_34_1","volume-title":"Proceedings of the 5th Pacific Symposium on Biocomputing. Stanford, 338--349","author":"Matsuno Hiroshi","year":"2000","unstructured":"Hiroshi Matsuno , Atsushi Doi , Masao Nagasaki , and Satoru Miyano . 2000 . Hybrid petri net representation of gene regulatory network . In Proceedings of the 5th Pacific Symposium on Biocomputing. Stanford, 338--349 . Hiroshi Matsuno, Atsushi Doi, Masao Nagasaki, and Satoru Miyano. 2000. Hybrid petri net representation of gene regulatory network. In Proceedings of the 5th Pacific Symposium on Biocomputing. Stanford, 338--349."},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1093\/bib\/bbn050"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0006-3495(04)74207-1"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.1835951"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-7-93"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1001077"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(73)90247-6"},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.2361284"}],"container-title":["ACM Transactions on Modeling and Computer Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2742545","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2742545","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:33Z","timestamp":1750230033000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2742545"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,6]]},"references-count":41,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4,6]]}},"alternative-id":["10.1145\/2742545"],"URL":"https:\/\/doi.org\/10.1145\/2742545","relation":{},"ISSN":["1049-3301","1558-1195"],"issn-type":[{"value":"1049-3301","type":"print"},{"value":"1558-1195","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,6]]},"assertion":[{"value":"2014-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-05-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}