@article{Ginzburg1980277,
    Abstract = {Necessary and sufficient conditions are established for Vector Addition Systems to define regular languages. An algorithm is designed to decide whether these conditions are satisfied. The reachability problem for such Vector Addition Systems is shown to be decidable.},
    Author = {Ginzburg, A. and Yoeli, M.},
    File = {Vector addition systems and regular languages - Ginzburg, Yoeli (0) (0) - a - a - a.pdf},
    ISSN = {0022-0000},
    Journal = {Journal of Computer and System Sciences},
    Number = {3},
    Pages = {277 - 284},
    Title = {Vector addition systems and regular languages},
    URL = {http://www.sciencedirect.com/science/article/pii/0022000080900094},
    Volume = {20},
    Year = {1980},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0022000080900094},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0022-0000(80)90009-4},
    date-added = {2016-02-09 15:00:42 +0000},
    date-modified = {2016-02-09 15:00:42 +0000},
    doi = {10.1016/0022-0000(80)90009-4}
}

@article{Ginzburg1980277, Abstract = {Necessary and sufficient conditions are established for Vector Addition Systems to define regular languages. An algorithm is designed to decide whether these conditions are satisfied. The reachability problem for such Vector Addition Systems is shown to be decidable.}, Author = {Ginzburg, A. and Yoeli, M.}, File = {Vector addition systems and regular languages - Ginzburg, Yoeli (0) (0) - a - a - a.pdf}, ISSN = {0022-0000}, Journal = {Journal of Computer and System Sciences}, Number = {3}, Pages = {277 - 284}, Title = {Vector addition systems and regular languages}, URL = {http://www.sciencedirect.com/science/article/pii/0022000080900094}, Volume = {20}, Year = {1980}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0022000080900094}, bdsk-url-2 = {http://dx.doi.org/10.1016/0022-0000(80)90009-4}, date-added = {2016-02-09 15:00:42 +0000}, date-modified = {2016-02-09 15:00:42 +0000}, doi = {10.1016/0022-0000(80)90009-4} }