{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T17:26:18Z","timestamp":1769016378704,"version":"3.49.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","funder":[{"name":"Cluster of Excellence 'Macromolecular Complexes' of the Goethe-University Frankfurt am Main","award":["3212070002\/TP2"],"award-info":[{"award-number":["3212070002\/TP2"]}]},{"name":"LOEWE program Ubiquitin Networks (Ub-net) of the State of Hesse (Germany)","award":["20120712\/B4"],"award-info":[{"award-number":["20120712\/B4"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Syst Biol"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1186\/s12918-017-0448-7","type":"journal-article","created":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T08:50:40Z","timestamp":1501231840000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Manatee invariants reveal functional pathways in signaling networks"],"prefix":"10.1186","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9524-0343","authenticated-orcid":false,"given":"Leonie","family":"Amstein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Ackermann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jennifer","family":"Scheidel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone","family":"Fulda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Dikic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Koch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,28]]},"reference":[{"issue":"6839","key":"448_CR1","doi-asserted-by":"crossref","first-page":"759","DOI":"10.1038\/35081138","volume":"411","author":"J Downward","year":"2001","unstructured":"Downward J. The ins and outs of signalling. Nature. 2001; 411(6839):759\u201362.","journal-title":"Nature"},{"issue":"5596","key":"448_CR2","doi-asserted-by":"crossref","first-page":"1241","DOI":"10.1126\/science.1071914","volume":"298","author":"A Hoffmann","year":"2002","unstructured":"Hoffmann A, Levchenko A, Scott M, Baltimore D. The I \u03baB-NF- \u03baB Signaling Module: Temporal Control and Selective Gene Activation. Sience. 2002; 298(5596):1241\u20135.","journal-title":"Sience"},{"issue":"12","key":"448_CR3","doi-asserted-by":"crossref","first-page":"e1000595","DOI":"10.1371\/journal.pcbi.1000595","volume":"5","author":"R Schlatter","year":"2009","unstructured":"Schlatter R, Schmich K, Avalos Vizcarra I, Scheurich P, Sauter T, Borner C, Ederer M, Merfort I, Sawodny O. ON\/OFF and Beyond - A Boolean Model of Apoptosis. PLoS Comput Biol. 2009; 5(12):e1000595.","journal-title":"PLoS Comput Biol"},{"issue":"1","key":"448_CR4","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1186\/1471-2105-7-56","volume":"7","author":"S Klamt","year":"2006","unstructured":"Klamt S, Saez-Rodriguez J, Lindquist JA, Simeoni L, Gilles ED. A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinforma. 2006; 7(1):56.","journal-title":"BMC Bioinforma"},{"key":"448_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84996-474-6","volume-title":"Modeling in Systems Biology: The Petri Net Approach. Computational Biology, vol. 16","author":"I Koch","year":"2011","unstructured":"Koch I, Reisig W, Schreiber F. Modeling in Systems Biology: The Petri Net Approach. Computational Biology, vol. 16. London Dordrecht Heidelberg New York: Springer; 2011."},{"issue":"1","key":"448_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.compbiolchem.2006.09.005","volume":"31","author":"A Sackmann","year":"2007","unstructured":"Sackmann A, Formanowicz D, Formanowicz P, Koch I, Blazewicz J. An analysis of the Petri net based model of the human body iron homeostasis process. Comput Biol Chem. 2007; 31(1):1\u201310.","journal-title":"Comput Biol Chem"},{"issue":"2","key":"448_CR7","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/j.biosystems.2008.02.005","volume":"92","author":"S Grunwald","year":"2008","unstructured":"Grunwald S, Speer A, Ackermann J, Koch I. Petri net modelling of gene regulation of the Duchenne muscular dystrophy. Biosystems. 2008; 92(2):189\u2013205.","journal-title":"Biosystems"},{"issue":"6","key":"448_CR8","doi-asserted-by":"crossref","first-page":"96986","DOI":"10.1371\/journal.pone.0096986","volume":"9","author":"G Minervini","year":"2014","unstructured":"Minervini G, Panizzoni E, Giollo M, Masiero A, Ferrari C, Tosatto SC. Design and Analysis of a Petri Net Model of the Von Hippel-Lindau (VHL) Tumor Suppressor Interaction Network. PloS ONE. 2014; 9(6):96986.","journal-title":"PloS ONE"},{"issue":"1","key":"448_CR9","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1186\/s12859-015-0596-y","volume":"16","author":"P Balazki","year":"2015","unstructured":"Balazki P, Lindauer K, Einloft J, Ackermann J, Koch I. MONALISA for stochastic simulations of Petri net models of biochemical systems. BMC Bioinforma. 2015; 16(1):215.","journal-title":"BMC Bioinforma"},{"issue":"4","key":"448_CR10","doi-asserted-by":"crossref","first-page":"766","DOI":"10.3390\/metabo5040766","volume":"5","author":"J Scheidel","year":"2015","unstructured":"Scheidel J, Lindauer K, Ackermann J, Koch I. Quasi-Steady-State Analysis based on Structural Modules and Timed Petri Net Predict System\u2019s Dynamics: The Life Cycle of the Insulin Receptor. Metabolites. 2015; 5(4):766\u201393.","journal-title":"Metabolites"},{"issue":"3","key":"448_CR11","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1038\/73786","volume":"18","author":"S Schuster","year":"2000","unstructured":"Schuster S, Fell DA, Dandekar T. A general definition of metabolic pathways useful for systematic organization and analysis of complex metabolic networks. Nat Biotechnol. 2000; 18(3):326\u201332.","journal-title":"Nat Biotechnol"},{"issue":"6","key":"448_CR12","doi-asserted-by":"crossref","first-page":"829","DOI":"10.1089\/cmb.2008.0177","volume":"16","author":"J Behre","year":"2009","unstructured":"Behre J, Schuster S. Modeling Signal Transduction in Enzyme Cascades with the Concept of Elementary Flux Modes. J Comput Biol. 2009; 16(6):829\u201344.","journal-title":"J Comput Biol"},{"key":"448_CR13","volume-title":"Modeling in Systems Biology","author":"S Schuster","year":"2011","unstructured":"Schuster S, Junker BH. Topological Analysis of Metabolic and Regulatory Networks. In: Modeling in Systems Biology. London Dordrecht Heidelberg New York: Springer: 2011. p. 209\u201324."},{"issue":"12","key":"448_CR14","doi-asserted-by":"crossref","first-page":"e1005200","DOI":"10.1371\/journal.pcbi.1005200","volume":"12","author":"J Scheidel","year":"2016","unstructured":"Scheidel J, Amstein L, Ackermann J, Dikic I, Koch I. In Silico Knockout Studies of Xenophagic Capturing of Salmonella. PLoS Comput Biol. 2016; 12(12):e1005200.","journal-title":"PLoS Comput Biol"},{"issue":"3","key":"448_CR15","doi-asserted-by":"crossref","first-page":"993","DOI":"10.1007\/s11047-009-9153-9","volume":"10","author":"EM Rodriguez","year":"2011","unstructured":"Rodriguez EM, Rudy A, del Rosario RC, Vollmar AM, Mendoza ER. A discrete Petri net model for cephalostatin-induced apoptosis in leukemic cells. Nat Comput. 2011; 10(3):993\u20131015.","journal-title":"Nat Comput"},{"key":"448_CR16","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, editors. Applications and Theory of Petri Nets 2004. Berlin Heidelberg: Springer: 2004. p. 216\u201337."},{"issue":"1","key":"448_CR17","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1186\/1471-2105-7-482","volume":"7","author":"A Sackmann","year":"2006","unstructured":"Sackmann A, Heiner M, Koch I. Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinforma. 2006; 7(1):482.","journal-title":"BMC Bioinforma"},{"issue":"3","key":"448_CR18","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1016\/j.compchemeng.2004.08.026","volume":"29","author":"I Zevedei-Oancea","year":"2005","unstructured":"Zevedei-Oancea I, Schuster S. A theoretical framework for detecting signal transfer routes in signalling networks. Comput Chem Eng. 2005; 29(3):597\u2013617.","journal-title":"Comput Chem Eng"},{"issue":"1","key":"448_CR19","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1186\/1752-0509-5-44","volume":"5","author":"RS Wang","year":"2011","unstructured":"Wang RS, Albert R. Elementary signaling modes predict the essentiality of signal transduction network components. BMC Syst Biol. 2011; 5(1):44.","journal-title":"BMC Syst Biol"},{"key":"448_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol. 4","author":"W Reisig","year":"1985","unstructured":"Reisig W. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol. 4. Berlin Heidelberg New York: Springer; 1985."},{"key":"448_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-09262-9","volume-title":"Analyse von Petri-Netz-Modellen. Leitf\u00e4den und Monographien der Informatik, vol. 6","author":"PH Starke","year":"1990","unstructured":"Starke PH. Analyse von Petri-Netz-Modellen. Leitf\u00e4den und Monographien der Informatik, vol. 6. Stuttgart: Teubner; 1990."},{"issue":"4","key":"448_CR22","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T. Petri nets: Properties, analysis and applications. Proc IEEE. 1989; 77(4):541\u201380.","journal-title":"Proc IEEE"},{"issue":"12","key":"448_CR23","doi-asserted-by":"crossref","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"PJ Goss","year":"1998","unstructured":"Goss PJ, Peccoud J. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proc Natl Acad Sci. 1998; 95(12):6750\u20135.","journal-title":"Proc Natl Acad Sci"},{"key":"448_CR24","first-page":"79","volume":"483","author":"JM Colom","year":"1991","unstructured":"Colom JM, Silva M. Convex geometry and semiflows in P\/T nets. A comparative study of algorithms for computation of minimal p-semiflows. LNCS. 1991; 483:79\u2013112.","journal-title":"LNCS"},{"key":"448_CR25","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/j.jtbi.2012.08.042","volume":"315","author":"J Ackermann","year":"2012","unstructured":"Ackermann J, Einloft J, N\u00f6then J, Koch I. Reduction techniques for network validation in systems biology. J Theor Biol. 2012; 315:71\u201380.","journal-title":"J Theor Biol"},{"key":"448_CR26","unstructured":"Lipton RJ. The reachability problem requires exponential space. Research report 62, Dept. of Computer Science, Yale University. 1976."},{"issue":"3","key":"448_CR27","doi-asserted-by":"crossref","first-page":"a003350","DOI":"10.1101\/cshperspect.a003350","volume":"2","author":"IE Wertz","year":"2010","unstructured":"Wertz IE, Dixit VM. Signaling to NF- \u03baB: regulation by ubiquitination. Cold Spring Harb Perspect Biol. 2010; 2(3):a003350.","journal-title":"Cold Spring Harb Perspect Biol"},{"issue":"1","key":"448_CR28","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1002\/embr.201337983","volume":"15","author":"M Hinz","year":"2013","unstructured":"Hinz M, Scheidereit C. The I \u03baB kinase complex in NF- \u03baB regulation and beyond. EMBO Rep. 2013; 15(1):46\u201361.","journal-title":"EMBO Rep"},{"issue":"8","key":"448_CR29","doi-asserted-by":"crossref","first-page":"709","DOI":"10.1038\/ni.2055","volume":"12","author":"J Ruland","year":"2011","unstructured":"Ruland J. Return to homeostasis: downregulation of NF- \u03baB responses. Nat Immunol. 2011; 12(8):709\u201314.","journal-title":"Nat Immunol"},{"key":"448_CR30","doi-asserted-by":"crossref","first-page":"1467","DOI":"10.1093\/bioinformatics\/btt165","volume":"29","author":"J Einloft","year":"2013","unstructured":"Einloft J, Ackermann J, N\u00f6then J, Koch I. MonaLisa\u2013visualization and analysis of functional modules in biochemical networks. Bioinformatics. 2013; 29:1467\u201370.","journal-title":"Bioinformatics"},{"issue":"7000","key":"448_CR31","doi-asserted-by":"crossref","first-page":"694","DOI":"10.1038\/nature02794","volume":"430","author":"IE Wertz","year":"2004","unstructured":"Wertz IE, O\u2019rourke KM, Zhou H, Eby M, Aravind L, Seshagiri S, Wu P, Wiesmann C, Baker R, Boone DL, et al. De-ubiquitination and ubiquitin ligase domains of A20 downregulate NF- \u03baB signalling. Nature. 2004; 430(7000):694\u20139.","journal-title":"Nature"},{"issue":"6","key":"448_CR32","doi-asserted-by":"crossref","first-page":"862","DOI":"10.1111\/j.1742-4658.2011.08015.x","volume":"278","author":"H Wajant","year":"2011","unstructured":"Wajant H, Scheurich P. TNFR1-induced activation of the classical NF- \u03baB pathway. FEBS J. 2011; 278(6):862\u201376.","journal-title":"FEBS J"},{"issue":"1","key":"448_CR33","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1146\/annurev.immunol.18.1.621","volume":"18","author":"M Karin","year":"2000","unstructured":"Karin M, Ben-Neriah Y. Phosphorylation meets ubiquitination: the control of NF- \u03baB activity. Annu Rev Immunol. 2000; 18(1):621\u201363.","journal-title":"Annu Rev Immunol"},{"issue":"2\u20133","key":"448_CR34","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/j.biosystems.2005.04.009","volume":"83","author":"S Klamt","year":"2006","unstructured":"Klamt S. Generalized concept of minimal cut sets in biochemical networks. Biosystems. 2006; 83(2\u20133):233\u201347.","journal-title":"Biosystems"},{"issue":"1","key":"448_CR35","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1186\/1471-2105-9-90","volume":"9","author":"E Grafahrend-Belau","year":"2008","unstructured":"Grafahrend-Belau E, Schreiber F, Heiner M, Sackmann A, Junker BH, Grunwald S, Speer A, Winder K, Koch I. Modularization of biochemical networks based on classification of Petri net t-invariants. BMC Bioinforma. 2008; 9(1):90.","journal-title":"BMC Bioinforma"}],"container-title":["BMC Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12918-017-0448-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T08:50:58Z","timestamp":1501231858000},"score":1,"resource":{"primary":{"URL":"http:\/\/bmcsystbiol.biomedcentral.com\/articles\/10.1186\/s12918-017-0448-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,28]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["448"],"URL":"https:\/\/doi.org\/10.1186\/s12918-017-0448-7","relation":{},"ISSN":["1752-0509"],"issn-type":[{"value":"1752-0509","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,28]]},"article-number":"72"}}