Added evaluation of petri nets