{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:11Z","timestamp":1761611291374},"reference-count":36,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2013,9,1]],"date-time":"2013-09-01T00:00:00Z","timestamp":1377993600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2013,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>\n            The\n            <jats:italic>\u03c0<\/jats:italic>\n            -calculus, in particular its stochastic version the stochastic\n            <jats:italic>\u03c0<\/jats:italic>\n            -calculus, is a common modeling formalism to concisely describe the chemical reactions occurring in biochemical systems. However, it remains largely unexplored how to transform a biochemical model expressed in the stochastic\n            <jats:italic>\u03c0<\/jats:italic>\n            -calculus back into a set of meaningful reactions. To this end, we present a two step approach of first translating model states to reaction sets and then visualizing sequences of reaction sets, which are obtained from state trajectories, in terms of reaction networks. Our translation from model states to reaction sets is formally defined and shown to be correct, in the sense that it reflects the states and transitions as they are derived from the continuous time Markov chain-semantics of the stochastic\n            <jats:italic>\u03c0<\/jats:italic>\n            -calculus. Our visualization concept combines high level measures of network complexity with interactive, table-based network visualizations. It directly reflects the structures introduced in the first step and allows modelers to explore the resulting simulation traces by providing both: an overview of a network\u2019s evolution and a detail inspection on demand.\n          <\/jats:p>","DOI":"10.1007\/s00165-011-0209-0","type":"journal-article","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T19:17:37Z","timestamp":1319743057000},"page":"723-742","source":"Crossref","is-referenced-by-count":4,"title":["Constructing and visualizing chemical reaction networks from pi-calculus models"],"prefix":"10.1145","volume":"25","author":[{"given":"Mathias","family":"John","sequence":"first","affiliation":[{"name":"Lifl (CNRS UMR8022), University of Lille 1, Lille, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-J\u00f6rg","family":"Schulz","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heidrun","family":"Schumann","sequence":"additional","affiliation":[{"name":"Institute for Computer Science, University of Rostock, Rostock, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adelinde M.","family":"Uhrmacher","sequence":"additional","affiliation":[{"name":"Institute for Computer Science, University of Rostock, Rostock, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Unger","sequence":"additional","affiliation":[{"name":"Helmholtz Centre Potsdam, GFZ German Research Centre for Geosciences, Potsdam, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/0-387-25871-X_5","volume-title":"Complexity in chemistry, biology, and ecology","author":"Bonchev D","year":"2005"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"crossref","unstructured":"Byrd D (1999) A scrollbar-based visualization for document navigation. In: DL\u201999: proceedings of the fourth ACM conference on Digital libraries pp 122\u2013129","DOI":"10.1145\/313238.313283"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Cardelli L (2004) Brane calculi\u2014interactions of biological membranes. In: Computational methods in systems biology international conference CMSB\u201904. LNCS pp 257\u2013278","DOI":"10.1007\/978-3-540-25974-9_24"},{"key":"e_1_2_1_2_4_2","first-page":"261","volume-title":"In: IFIP Theoretical Computer Science","author":"Cardelli L","year":"2008"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.11.012"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.04.029"},{"key":"e_1_2_1_2_7_2","unstructured":"Dwyer T Eades P (2002) Visualising a fund manager flow graph with columns and worms. In IV\u201902: proceedings of the 6th international conference on information visualisation pp 147\u2013152"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"crossref","unstructured":"Diehl S G\u00f6rg C (2002) Graphs they are changing\u2014dynamic graph drawing for a sequence of graphs. In: GD\u201902: proceedings of the 10th international symposium on graph drawing pp 23\u201331","DOI":"10.1007\/3-540-36151-0_3"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/1364644.1364653"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"publisher","DOI":"10.1198\/106186002317375604"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"publisher","DOI":"10.4049\/jimmunol.170.7.3769"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"publisher","DOI":"10.1021\/j100540a008"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"publisher","DOI":"10.1002\/bit.10842"},{"key":"e_1_2_1_2_14_2","first-page":"235","volume-title":"Computational methods in systems biology, international conference, CMSB\u201909. Lecture Notes in Computer Sience, vol 5688","author":"John M","year":"2009"},{"key":"e_1_2_1_2_15_2","first-page":"83","volume-title":"In: Computational methods in systems biology, international conference, CMSB\u201908 Lecture Notes in Computer Science, vol 5307","author":"John M","year":"2008"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","unstructured":"John M Lhoussaine C Niehren J Uhrmacher AM (2010) The attributed pi-calculus with priorities. In: Transactions on computaional systems biology XII. Special issue on modeling methodologies. LNCS (lecture notes in bioinformatics) vol 5945. Springer Berlin pp 13\u201376","DOI":"10.1007\/978-3-642-11712-1_2"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"John M Lhoussaine C Niehren J Versari C (2011) Biochemical reaction rules with constraints. In: Proceedings of the European symposium on programming pp 338\u2013357","DOI":"10.1007\/978-3-642-19718-5_18"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Kuttler C Lhoussaine C Niehren J (2007) A stochastic pi calculus for concurrent objects. In: Anai H Horimoto K Kutsia T (eds) Second international conference on algebraic biology. Lecture notes in computer science vol 4545. pp 232\u2013246","DOI":"10.1007\/978-3-540-73433-8_17"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"crossref","unstructured":"Kuttler C (2006) Simulating bacterial transcription and translation in a stochastic pi-calculus. In: Transactions on computational systems biology 4220\/2006:113\u2013149","DOI":"10.1007\/11880646_6"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"crossref","unstructured":"Leye S John M Uhrmacher AM (2010) A flexible architecture for performance experiments with the pi-calculus and its extensions. In: Lawson B (ed) 3rd international ICST conference on simulation tools and techniques ICST. ICST\/IEEE Malaga spain","DOI":"10.4108\/ICST.SIMUTOOLS2010.8820"},{"key":"e_1_2_1_2_21_2","first-page":"463","volume-title":"CONCUR\u2014concurrency theory, 20th international conference, vol 5710 in Lecture Notes in Computer Science","author":"Meyer R","year":"2009"},{"key":"e_1_2_1_2_22_2","unstructured":"Robin Milner. Communicating and Mobile Systems: the \u03c0-calculus . Cambridge University Press 1999."},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"crossref","unstructured":"Mazemondet O John M Maus C Uhrmacher AM Rolfs A (2009) Integrating diverse reaction types into stochastic models\u2014a signaling pathway case study in the imperative pi-calculus. In: Rossetti MD Hill RR Johansson B Dunkin A Ingalls RG (eds) Winter simulation conference Institute of Electrical and Electronics Engineers Inc. USA pp 932\u2013943","DOI":"10.1109\/WSC.2009.5429723"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"crossref","unstructured":"Phillips A Cardelli L (2007) Efficient correct simulation of biological processes in the stochastic pi-calculus. In: Calder M Gilmore S (eds) Computational methods in systems biology international conference CMSB\u201907. Lecture Notes in Computer Science vol 4695. Springer Berlin pp 184\u2013199","DOI":"10.1007\/978-3-540-75140-3_13"},{"key":"e_1_2_1_2_25_2","first-page":"123","article-title":"A graphical representation for biological processes in the stochastic pi-calculus","volume":"7","author":"Phillips A","year":"2006","journal-title":"Trans Comput Syst Biol"},{"key":"e_1_2_1_2_26_2","unstructured":"Phillips A (2009) Some 3D videos of SPiM simulations. http:\/\/research.microsoft.com\/en-us\/projects\/spim\/default.aspx. Accessed 05 OCT 2009."},{"key":"e_1_2_1_2_27_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/38.7.578"},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(01)00214-9"},{"key":"e_1_2_1_2_29_2","doi-asserted-by":"crossref","unstructured":"Rao R Card SK (1994) The table lens: merging graphical and symbolic representations in an interactive focus+context visualization for tabular information. In: ACM SIGCHI\u201994: proceedings of the ACM SIGCHI conference on human factors in computing systems pp 111\u2013117","DOI":"10.1145\/191666.191776"},{"key":"e_1_2_1_2_30_2","unstructured":"Regev A (2003) Computational systems biology: a calculus for biomolecular knowledge. PhD thesis Tel Aviv University Tel Aviv"},{"key":"e_1_2_1_2_31_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.061"},{"key":"e_1_2_1_2_32_2","unstructured":"Schulz H John M Unger A Schumann H (2008) Visual analysis of bipartite biological networks. In: VCBM\u201908: proceedings of the eurographics workshop on visual computing for biomedicine pp 135\u2013142"},{"key":"e_1_2_1_2_33_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cag.2009.06.002"},{"key":"e_1_2_1_2_34_2","doi-asserted-by":"crossref","unstructured":"Tymchyshyn O Kwiatkowska MZ (2008) Combining intra- and inter-cellular dynamics to investigate intestinal homeostasis. In: Formal methods in systems biology. First international workshop FMSB 2008 pp 63\u201376","DOI":"10.1007\/978-3-540-68413-8_5"},{"key":"e_1_2_1_2_35_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.12.012"},{"key":"e_1_2_1_2_36_2","doi-asserted-by":"crossref","unstructured":"Versari C (2007) A core calculus for a comparative analysis of bio-inspired calculi. In: European symposium on programming (ESOP\u201907) pp 411\u2013425","DOI":"10.1007\/978-3-540-71316-6_28"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-011-0209-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-011-0209-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-011-0209-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:57:39Z","timestamp":1641484659000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-011-0209-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":36,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["10.1007\/s00165-011-0209-0"],"URL":"https:\/\/doi.org\/10.1007\/s00165-011-0209-0","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9]]}}}