Examples for subobject algebras and parameter estimation with Catalyst should be added to the AlgebraicPetri documentation.