A software system managing a smart space takes, among its inputs, models of human behavior; such models are usually difficult to obtain and to validate. The employment of techniques from business process modeling and mining may represent a solution to both the problems, but a set of challenges need to be faced in order to cope with major differences between human activities and business processes. As a first step, this tutorial introduces basic concepts of business process management (BPM) and process mining. With these concepts in mind, the tutorial explains attendees how to apply process mining to sensor logs acquired from smart spaces.