Package: petri-foo

"petri-foo" package binaries on Debian:

/usr/bin/petri-foo

You may install this package on Debian with apt-get install petri-foo