PetriPad A Collaborative Petri Net Editor. - Julian Burkhart; Michael Haustermann (PNSE, 2012)