PIPE - Platform Independent Petri Net Editor