Core libraries for building and editing Petri nets