Utilization of Heterogeneity in Modular Reachability Analysis for Petri Nets

Schultz, MarleneLorenz, RobertBergenthum, RobinSchalk, Patrizia2024-10-172024-10-172024https://dl.gi.de/handle/20.500.12116/45015enModular Reachability AnalysisPetri netsUtilization of Heterogeneity in Modular Reachability Analysis for Petri NetsText/Workshop Paper10.18420/AWPN2024-04