@inproceedings{CardozaLiptonMeyer:STOC:1976,
    Address = {New York, NY, USA},
    Author = {Cardoza, E. and Lipton, R. and Meyer, A. R.},
    BookTitle = {Proceedings of the eighth annual ACM symposium on Theory of computing},
    File = {Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report) - Cardoza, Lipton, Meyer (0) (0) - a - a - b.pdf},
    Keywords = {Petri nets and vector addition systems},
    Location = {Hershey, Pennsylvania, USA},
    Pages = {50--54},
    Publisher = {ACM},
    Series = {STOC '76},
    Title = {Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report)},
    URL = {http://doi.acm.org/10.1145/800113.803630},
    Year = {1976},
    acmid = {803630},
    bdsk-url-1 = {http://doi.acm.org/10.1145/800113.803630},
    bdsk-url-2 = {http://dx.doi.org/10.1145/800113.803630},
    date-added = {2013-11-11 13:55:11 +0000},
    date-modified = {2023-08-25 09:53:19 +0200},
    numpages = {5},
    doi = {10.1145/800113.803630}
}

@inproceedings{CardozaLiptonMeyer:STOC:1976, Address = {New York, NY, USA}, Author = {Cardoza, E. and Lipton, R. and Meyer, A. R.}, BookTitle = {Proceedings of the eighth annual ACM symposium on Theory of computing}, File = {Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report) - Cardoza, Lipton, Meyer (0) (0) - a - a - b.pdf}, Keywords = {Petri nets and vector addition systems}, Location = {Hershey, Pennsylvania, USA}, Pages = {50--54}, Publisher = {ACM}, Series = {STOC '76}, Title = {Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report)}, URL = {http://doi.acm.org/10.1145/800113.803630}, Year = {1976}, acmid = {803630}, bdsk-url-1 = {http://doi.acm.org/10.1145/800113.803630}, bdsk-url-2 = {http://dx.doi.org/10.1145/800113.803630}, date-added = {2013-11-11 13:55:11 +0000}, date-modified = {2023-08-25 09:53:19 +0200}, numpages = {5}, doi = {10.1145/800113.803630} }