Move Petri net load, save etc. out into a manager