News for package petri-foo