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