On Minimality and Equivalence of Petri Nets
Annegret K. Wagler, Jan-Thierry Wegener · Fundamenta Informaticae · 2013
The context of this work is the reconstruction of Petri net models for biological systems from experimental data. Such methods aim at generating all network alternatives fitting the given data. To keep the solution set small while guaranteeing its co