{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:00:30Z","timestamp":1725494430885},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540762911"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76292-8_7","type":"book-chapter","created":{"date-parts":[[2007,11,12]],"date-time":"2007-11-12T08:38:29Z","timestamp":1194856709000},"page":"54-63","source":"Crossref","is-referenced-by-count":1,"title":["An Extendable System for Conceptual Modeling and Simulation of Signal Transduction Pathways"],"prefix":"10.1007","author":[{"given":"Silke","family":"Eckstein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"T\u00e4ubner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design\u00a019(1), 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"key":"7_CR2","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/978-3-540-25974-9_20","volume-title":"Computational Methods in Systems Biology","author":"J. Fisher","year":"2005","unstructured":"Fisher, J., Harel, D., Hubbard, E.J.A., Piterman, N., Stern, M.J., Swerdlin, N.: Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 236\u2013241. Springer, Heidelberg (2005)"},{"key":"7_CR3","unstructured":"Fleischer, N.: Modellierung und Simulation der P. aeruginosa Infektion mit Petri-Netzen. Master\u2019s thesis, TU Braunschweig (2005)"},{"key":"7_CR4","volume-title":"Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications","author":"C. Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Berlin (2003)"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1049\/sb:20045008","volume":"1","author":"M. Hucka","year":"2004","unstructured":"Hucka, M., Finney, A., Bornstein, B.J., Keating, S.M., Shapiro, B.E., Matthews, J., Kovitz, B.L., Schilstra, M.J., Funahashi, A., Doyle, J.C., Kitano, H.: Evolving a Lingua Franca and Associated Software Infrastructure for Computational Systems Biology: The Systems Biology Markup Language (SBML) Project. Systems Biology\u00a01(1), 41\u201353 (2004)","journal-title":"Systems Biology"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/978-3-540-27793-4_13","volume-title":"Applications and Theory of Petri Nets 2004","author":"M. Heiner","year":"2004","unstructured":"Heiner, M., Koch, I.: Petri Net Based Model Validation in Systems Biology. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 216\u2013237. Springer, Heidelberg (2004)"},{"key":"7_CR7","volume-title":"Come, Let\u2019s Play - Scenario Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play - Scenario Based Programming Using LSCs and the Play-Engine. Springer, Berlin (2003)"},{"issue":"4","key":"7_CR8","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1142\/S0219720004000764","volume":"2","author":"S. Hardy","year":"2004","unstructured":"Hardy, S., Robillard, P.N.: Modeling and Simulation of Molecular Biology Systems Using Petri Nets: Modeling Goals of Various Approaches. J. Bioinform Comput. Biol.\u00a02(4), 595\u2013613 (2004)","journal-title":"J. Bioinform Comput. Biol."},{"key":"7_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, 2nd edn. Springer, Berlin (1997)","edition":"2"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. STTT. Int. J. on Software Tools for Technology Transfer, Sp. Sec. CPN 04\/05 (2007)","DOI":"10.1007\/s10009-007-0038-x"},{"issue":"suppl_1","key":"7_CR11","first-page":"D428","volume":"33","author":"G. Joshi-Tope","year":"2005","unstructured":"Joshi-Tope, G., Gillespie, M., Vastrik, I., D\u2019Eustachio, P., Schmidt, E., de Bono, B., Jassal, B., Gopinath, G.R., Wu, G.R., Matthews, L., Lewis, S., Birney, E., Stein, L.: Reactome: a knowledgebase of biological pathways. Nucleic Acids Research\u00a033(suppl_1), D428\u2013432 (2005)","journal-title":"Nucleic Acids Research"},{"issue":"suppl_1","key":"7_CR12","doi-asserted-by":"crossref","first-page":"D354","DOI":"10.1093\/nar\/gkj102","volume":"34","author":"M. Kanehisa","year":"2006","unstructured":"Kanehisa, M., Goto, S., Hattori, M., Aoki-Kinoshita, K.F., Itoh, M., Kawashima, S., Katayama, T., Araki, M., Hirakawa, M.: From genomics to chemical genomics: new developments in KEGG. Nucleic Acids Research\u00a034(suppl_1), D354\u2013357 (2006)","journal-title":"Nucleic Acids Research"},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-3-642-18734-6_8","volume-title":"Modelling in Molecular Biology","author":"N. Kam","year":"2004","unstructured":"Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbert, E.J.A., Stern, M.J.: Formal Modelling of C. elegans Development - A Scenario-Based Approach. In: Ciobanu, G., Rozenberg, G. (eds.) Modelling in Molecular Biology, pp. 151\u2013173. Springer, Berlin (2004)"},{"key":"7_CR14","doi-asserted-by":"crossref","DOI":"10.1002\/3527603603","volume-title":"Systems Biology in Practice - Concepts, Implementation and Application","author":"E. Klipp","year":"2005","unstructured":"Klipp, E., Herwig, R., Kowald, A., Wierling, C., Lehrach, H.: Systems Biology in Practice - Concepts, Implementation and Application. Wiley-VCH, Weinheim (2005)"},{"issue":"3","key":"7_CR15","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/BF03037529","volume":"18","author":"H. Kitano","year":"2000","unstructured":"Kitano, H.: Perspectives on systems biology. New Generation Computing\u00a018(3), 199\u2013216 (2000)","journal-title":"New Generation Computing"},{"issue":"19","key":"7_CR16","doi-asserted-by":"publisher","first-page":"6083","DOI":"10.1093\/nar\/gki892","volume":"33","author":"P.D. Karp","year":"2005","unstructured":"Karp, P.D., Ouzounis, C.A., Moore-Kochlacs, C., Goldovsky, L., Kaipa, P., Ahren, D., Tsoka, S., Darzentas, N., Kunin, V., Lopez-Bigas, N.: Expansion of the BioCyc collection of pathway\/genome databases to 160 genomes. Nucleic Acids Research\u00a033(19), 6083\u20136089 (2005)","journal-title":"Nucleic Acids Research"},{"issue":"suppl_1","key":"7_CR17","doi-asserted-by":"crossref","first-page":"D546","DOI":"10.1093\/nar\/gkj107","volume":"34","author":"M. Krull","year":"2006","unstructured":"Krull, M., Pistor, S., Voss, N., Kel, A., Reuter, I., Kronenberg, D., Michael, H., Schwarzer, K., Potapov, A., Choi, C., Kel-Margoulis, O., Wingender, E.: TRANSPATH(R): an information resource for storing and visualizing signaling pathways and their pathological aberrations. Nucleic Acids Research\u00a034(suppl_1), D546\u2013551 (2006)","journal-title":"Nucleic Acids Research"},{"issue":"2-3","key":"7_CR18","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1016\/j.pbiomolbio.2004.01.004","volume":"85","author":"C.M. Lloyd","year":"2004","unstructured":"Lloyd, C.M., Halstead, M.D.B., Nielsen, P.F.: CellML: its future, present and past. Progress in Biophysics and Molecular Biology\u00a085(2-3), 433\u2013450 (2004)","journal-title":"Progress in Biophysics and Molecular Biology"},{"key":"7_CR19","unstructured":"Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Petri Net Based Description and Modeling of Biological Pathways. Algebraic Biology - Computer Algebra in Biology, 19\u201331 (2005)"},{"key":"7_CR20","unstructured":"Nagasaki, M., Jeong, E., Doi, A., Saito, A., Miyano, S.: CSML 3.0 - Cell System Markup Language - Basic Concept and Specification (2006)"},{"key":"7_CR21","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-642-18734-6_11","volume-title":"Modelling in Molecular Biology","author":"A. Regev","year":"2004","unstructured":"Regev, A., Shapiro, E.: The pi-calculus as an Abstraction for Biomolecular Systems. In: Ciobanu, G., Rozenberg, G. (eds.) Modelling in Molecular Biology, pp. 219\u2013266. Springer, Berlin (2004)"},{"key":"7_CR22","first-page":"221","volume-title":"28th Annual Int. Conf. of IEEE Engineering in Medicine and Biology Society","author":"C. T\u00e4ubner","year":"2006","unstructured":"T\u00e4ubner, C., Mathiak, B., Kupfer, A., Fleischer, N., Eckstein, S.: Modelling and Simulation of the TLR4 Pathway with Coloured Petri Nets. In: Dhawan, A.P., Laine, F.A., Akay, M., Chon, K.H. (eds.) 28th Annual Int. Conf. of IEEE Engineering in Medicine and Biology Society, New York, 2006, p. 221. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"7_CR23","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-540-32126-2_6","volume-title":"Transactions on Computational Systems Biology I","author":"A.M. Uhrmacher","year":"2005","unstructured":"Uhrmacher, A.M., Degenring, D., Zeigler, B.: Discrete Event Multi-level Models for Systems Biology. In: Priami, C. (ed.) Transactions on Computational Systems Biology I. LNCS (LNBI), vol.\u00a03380, pp. 66\u201389. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling \u2013 Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76292-8_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T13:49:36Z","timestamp":1684072176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76292-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540762911"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76292-8_7","relation":{},"subject":[]}}