GitHub repository: workcraft/workcraft
Primary language: Java
Description: Toolset to capture, simulate, synthesize and verify graph models