GitHub repository: sarahtattersall/PIPE
Primary language: Java
Description: PIPE - Platform Independent Petri Net Editor