Models of biological systems and phenomena are of high scientific interest and practical relevance, but not always easy to obtain due to their inherent complexity. To gain the required insight, experimental data are provided and need to be interpreted in terms of models that explain the observed phenomena. In systems biology the framework of Petri nets is often used to describe models for the regulatory mechanisms of biological systems. The aim of this paper is to provide, based on results in [1, 2], an algorithmic framework for the challenging task of generating all possible Petri nets fitting the given experimental data. Key words: computational biology, reverse engineering, integer decomposition, Petri nets