Package: petri-foo