This Element provides a methodological overview of Boolean network models of biological systems. After a brief introduction, the authors describe the process of building, analyzing, and validating a Boolean model. They then present the use of the model to make predictions about the system's response to perturbations and about how to control its behavior. The Element emphasizes the interplay between structural and dynamical properties of Boolean networks and illustrates them in three case studies from disparate levels of biological organization.