The first comprehensive treatment of probabilistic Boolean networks (an important model class for studying genetic regulatory networks), this book covers basic model properties, including the relationships between network structure and dynamics, steady-state analysis, and relationships to other model classes. As the PBN model can serve as a mathematical framework for studying the basic issues of systems-based genomics, the book builds a rigorous mathematical foundation for exploring these issues, which include long-run dynamical properties and how these correspond to therapeutic goals; the effect of complexity on model inference and the resulting consequences of model uncertainty; altering network dynamics via structural intervention, such as perturbing gene logic; optimal control of regulatory networks over time; limitations imposed on the ability to achieve optimal control owing to model complexity; and the effects of asynchronicity. The authors unify different strands of current research and address emerging issues such as constrained control, greedy control, and asynchronicity.