In: Petri Net Newsletter No. 49, pages 28-35. October 1995.
Abstract: Linear place and transition invariants are well approved for the analysis of Petri nets and its computation is one of the most frequent tasks in the applications of Petri nets. In this note we consider the inverse problem: Given two finite sets MP and MT of integer vectors of length m respectively n, decide whether there exists a Petri net with MP as generating set of all place invariants as well as MT generating all transition invariants of the net and if so, construct such a Petri net. The Smith normal form decomposition of a matrix is used to construct wanted Petri nets very easy and with small arc multiplicities.