Wallner, SophieLorenz, RobertBergenthum, RobinSchalk, Patrizia2024-10-172024-10-172024https://dl.gi.de/handle/20.500.12116/45014enState MachinesModular Petri netsState Machines (In Modular Petri Nets)Text/Workshop Paper10.18420/AWPN2024-03