Supporting Modularity by (De-)Composition of Distributed P/T Nets Based on Karger's Algorithm for Distributed Execution. - Laif-Oke Clasen; Justus Middendorf; Felix Gorke; Jens Brüggemann; Lukas Eshun; Simon Bott; Marie Chevalier; Efe Nayci; Daniel Moldt (PETRI NETS, 2026)