Esparza J, Nielsen M. Decidability Issues for Petri Nets. BRICS [Internet]. 3. maj 1994 [henvist 7. december 2025];1(8). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21662