Platform Independent Petri Net Editor