Learn two powerful paradigms for signaling: discrete logical models (Boolean/multi-valued) for large-scale pathway reasoning and rule-based models for site-specific biochemical interactions without reaction explosion. You will curate networks, encode logic/rules, simulate dynamics (steady states, attractors, perturbations) , and package models with community standards (SBGN-PD, SBML-qual, SED-ML) .