The MinCoverPetri project has been moved to the following URL: http://dev.pages.lis-lab.fr/mincoverpetri