@article{MayrWeihmann_2013,
    Author = {Mayr, Ernst W. and Weihmann, Jeremias},
    File = {224524 (0) - a - a - x.pdf},
    ISBN = {9783642386978},
    ISSN = {1611-3349},
    Journal = {Lecture Notes in Computer Science},
    Pages = {70--89},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets},
    URL = {http://dx.doi.org/10.1007/978-3-642-38697-8\_5},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-38697-8\_5},
    date-added = {2019-02-13 10:04:52 +0100},
    date-modified = {2019-02-13 10:04:52 +0100},
    file-2 = {Mayr-Weihmann2013\_Chapter\_ResultsOnEquivalenceBoundednes (1) (0) - a - a - x.pdf},
    doi = {10.1007/978-3-642-38697-8_5}
}

@article{MayrWeihmann_2013, Author = {Mayr, Ernst W. and Weihmann, Jeremias}, File = {224524 (0) - a - a - x.pdf}, ISBN = {9783642386978}, ISSN = {1611-3349}, Journal = {Lecture Notes in Computer Science}, Pages = {70--89}, Publisher = {Springer Berlin Heidelberg}, Title = {Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets}, URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_5}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-38697-8_5}, date-added = {2019-02-13 10:04:52 +0100}, date-modified = {2019-02-13 10:04:52 +0100}, file-2 = {Mayr-Weihmann2013_Chapter_ResultsOnEquivalenceBoundednes (1) (0) - a - a - x.pdf}, doi = {10.1007/978-3-642-38697-8_5} }