In this course, participants will familiarize themselves with the basics of modeling in software and systems engineering. We will give a general introduction about the motivations for using models, then discuss the theoretical foundations and use cases of structural models as labeled graphs, followed by a similar discussion of state- and process-based modeling. Building on these foundations, the last block will introduce model analysis and verification to demonstrate the benefits of precise modeling. Each block will be followed by a short exercise and homework, where participants can apply their new knowledge in practice.