@article{Jancar:TCS:2001,
    Abstract = {The aim of this note is twofold. Firstly, it shows that the undecidability result for bisimilarity in [Theor. Comput. Sci. 148 (1995) 281--301] can be immediately extended for the whole range of equivalences (and preorders) on labelled Petri nets. Secondly, it shows that restricting our attention to nets with finite reachable space, the respective (decidable) problems are nonprimitive recursive; this approach also applies to Mayr and Meyer's result [J. ACM 28 (1981) 561--576] for the reachability set equality, yielding a more direct proof.},
    Author = {Jan{\v c}ar, Petr},
    File = {Nonprimitive recursive complexity and undecidability for Petri net equivalences - 1-s2.0-S0304397500001006-main.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {Petri-nets, Decidability, Complexity},
    Note = {ISS},
    Number = {1},
    Pages = {23--30},
    Title = {Nonprimitive recursive complexity and undecidability for Petri net equivalences},
    URL = {https://www.sciencedirect.com/science/article/pii/S0304397500001006},
    Volume = {256},
    Year = {2001},
    bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S0304397500001006},
    bdsk-url-2 = {https://doi.org/10.1016/S0304-3975(00)00100-6},
    date-added = {2022-08-10 10:41:38 +0200},
    date-modified = {2022-08-10 10:41:38 +0200},
    doi = {10.1016/S0304-3975(00)00100-6}
}

@article{Jancar:TCS:2001, Abstract = {The aim of this note is twofold. Firstly, it shows that the undecidability result for bisimilarity in [Theor. Comput. Sci. 148 (1995) 281--301] can be immediately extended for the whole range of equivalences (and preorders) on labelled Petri nets. Secondly, it shows that restricting our attention to nets with finite reachable space, the respective (decidable) problems are nonprimitive recursive; this approach also applies to Mayr and Meyer's result [J. ACM 28 (1981) 561--576] for the reachability set equality, yielding a more direct proof.}, Author = {Jan{\v c}ar, Petr}, File = {Nonprimitive recursive complexity and undecidability for Petri net equivalences - 1-s2.0-S0304397500001006-main.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {Petri-nets, Decidability, Complexity}, Note = {ISS}, Number = {1}, Pages = {23--30}, Title = {Nonprimitive recursive complexity and undecidability for Petri net equivalences}, URL = {https://www.sciencedirect.com/science/article/pii/S0304397500001006}, Volume = {256}, Year = {2001}, bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S0304397500001006}, bdsk-url-2 = {https://doi.org/10.1016/S0304-3975(00)00100-6}, date-added = {2022-08-10 10:41:38 +0200}, date-modified = {2022-08-10 10:41:38 +0200}, doi = {10.1016/S0304-3975(00)00100-6} }