Petri nets in Tina format