Mathematical modeling of the molecular switch of TNFR1-mediated signaling pathways applying Petri net formalism and in silico knockout analysis

• Leonie K. Amstein,

  Roles Data curation, Formal analysis, Investigation, Methodology, Visualization, Writing – original draft, Writing – review & editing

  Affiliation Goethe University Frankfurt, Institute of Computer Science, Department of Molecular Bioinformatics, Frankfurt am Main, Germany

  ⨯
• Jörg Ackermann,

  Roles Formal analysis, Investigation, Methodology, Software, Writing – original draft, Writing – review & editing

  Affiliation Goethe University Frankfurt, Institute of Computer Science, Department of Molecular Bioinformatics, Frankfurt am Main, Germany

  ⨯
• Jennifer Hannig,

  Roles Data curation, Formal analysis, Investigation, Methodology, Software, Visualization

  Affiliation Cognitive Information Systems, Kompetenzzentrum für Informationstechnologie, Technische Hochschule Mittelhessen, Friedberg, Germany

  https://orcid.org/0000-0002-2789-5540

  ⨯
• Ivan Đikić,

  Roles Conceptualization, Funding acquisition, Project administration, Supervision

  Affiliation Goethe University Frankfurt, Institute of Biochemistry II, Medical Faculty, Frankfurt am Main, Germany

  ⨯
• Simone Fulda,

  Roles Conceptualization, Funding acquisition, Project administration, Supervision

  Affiliation Goethe University Frankfurt, Institute of Biochemistry II, Medical Faculty, Frankfurt am Main, Germany

  ⨯
• Ina Koch

  Roles Conceptualization, Funding acquisition, Investigation, Project administration, Resources, Supervision, Visualization, Writing – original draft

  * E-mail: ina.koch@bioinformatik.uni-frankfurt.de

  Affiliation Goethe University Frankfurt, Institute of Computer Science, Department of Molecular Bioinformatics, Frankfurt am Main, Germany

  https://orcid.org/0000-0002-3621-003X

  ⨯