Carwehl, MarcReisig, WolfgangMichael, JudithWeske, Mathias2024-02-192024-02-192024978-3-88579-742-5https://dl.gi.de/handle/20.500.12116/43632Computer-embedded systems frequently manifest in diverse variants, featuring slight differences in interfaces and functionalities, yet fundamentally grounded in a shared functional kernel. To address this variability, we propose to employ a schematic model of the functional kernel, from which concrete system instances are derived. This modeling methodology leverages well-established principles from predicate logic and Petri nets, augmented with the dynamic extensions provided by the \textsc{Heraklit} infrastructure. As a practical case study, we explore the realm of Body Sensor Networks (BSNs), a domain increasingly pivotal in the realm of medical diagnosis. Our work showcases the versatility and adaptability of our modeling framework in the context of BSNs, offering insights into its potential applications in the broader landscape of embedded systems and beyond.enPetri netsHeraklitBody Sensor NetworkText/Conference Paper10.18420/modellierung2024_0081617-5468