Well know categories of Petri nets lack coproducts and some re strictioné on nets, morphisms or initial markings are required in or der to guarantee the existence of colimits. Categories of Petri nets equipped with a set ...