Graph editor for petri nets