Initial spec for petri callbacks