Adding petri nets