Abstract: This paper introduces Sensor Graphs, a discrete event modeling language directed at physical systems with binary and identity sensors (e.g., RFID). The aim of Sensor Graphs is to simplify ...