GitHub repository: obgm/PIPE
Description: PIPE - Platform Independent Petri Net Editor