Add petri classes