@article{Jancar:1995:UBP:211023.211033,
    Address = {Essex, UK},
    Author = {Jan\v{c}ar, Petr},
    File = {Undecidability of bisimilarity for Petri nets and some related problems - Jancar (0) (0) - a - a - t.pdf},
    ISSN = {0304-3975},
    Journal = {Theor. Comput. Sci.},
    Keywords = {Petri nets},
    Month = {September},
    Number = {2},
    Pages = {281--301},
    Publisher = {Elsevier Science Publishers Ltd.},
    Title = {Undecidability of bisimilarity for Petri nets and some related problems},
    URL = {http://dx.doi.org/10.1016/0304-3975(95)00037-W},
    Volume = {148},
    Year = {1995},
    acmid = {211033},
    bdsk-url-1 = {http://dx.doi.org/10.1016/0304-3975(95)00037-W},
    date-added = {2013-11-04 13:01:45 +0000},
    date-modified = {2013-11-04 13:02:18 +0000},
    file-2 = {Undecidability of bisimilarity for Petri nets and some related problems - Jancar (1) (0) - a - a - t.pdf},
    issue_date = {Sept. 4, 1995},
    numpages = {21},
    doi = {10.1016/0304-3975(95)00037-W}
}

@article{Jancar:1995:UBP:211023.211033, Address = {Essex, UK}, Author = {Jan\v{c}ar, Petr}, File = {Undecidability of bisimilarity for Petri nets and some related problems - Jancar (0) (0) - a - a - t.pdf}, ISSN = {0304-3975}, Journal = {Theor. Comput. Sci.}, Keywords = {Petri nets}, Month = {September}, Number = {2}, Pages = {281--301}, Publisher = {Elsevier Science Publishers Ltd.}, Title = {Undecidability of bisimilarity for Petri nets and some related problems}, URL = {http://dx.doi.org/10.1016/0304-3975(95)00037-W}, Volume = {148}, Year = {1995}, acmid = {211033}, bdsk-url-1 = {http://dx.doi.org/10.1016/0304-3975(95)00037-W}, date-added = {2013-11-04 13:01:45 +0000}, date-modified = {2013-11-04 13:02:18 +0000}, file-2 = {Undecidability of bisimilarity for Petri nets and some related problems - Jancar (1) (0) - a - a - t.pdf}, issue_date = {Sept. 4, 1995}, numpages = {21}, doi = {10.1016/0304-3975(95)00037-W} }