1. Burkhard, H.D., Ordered Firing in Petri Nets, Elektron.Informationsverarb.Kybernetik 17(1981)2/3, 71–86.
2. Burkhard, H.D., Two Pumping Lemmata for Petri Nets. To appear in Elektron.Informationsverarb.Kybernetik.
3. Hack, M., Decision Problems for Petri Nets and Vector Addition Systems, MAC-TM 59, Proj.MAC, M.I.T. 1975.
4. Hack, M., Petri net languages, CSG Memo 124, Proj.MAC, M.I.T. 1975.
5. Hopcroft, J., Pansiot, J.J., On the reachability problem for 5-dimensional vector addition systems, Theor.Comp.Science 8(1979), 135–159.