Die Besten Petri Nets For Systems 2025