GitHub repository: 54chen/PIPECore
Description: Core libraries for building and editing Petri nets