. "Marseille, France" . "Marseille, France" . . "Completeness Results for Undecidable Bisimilarity Problems" . "We establish Sigma_1^1-completeness (in the analytical hierarchy) of weak bisimilarity checking for infinite-state processes generated by pushdown automata and parallel pushdown automata. The results imply Sigma_1^1-completeness of weak bisimilarity for Petri nets and give a negative answer to the open problem stated by Jancar (CAAP'95): ``does the problem of weak bisimilarity for Petri nets belong to Delta_1^1 ?''" . . "2003-01-01+01:00"^^ . . . . . "Srba, Ji\u0159\u00ED" . "14"^^ . . . "high undecidability; bisimilarity"@en . "V clanku je ukazana Sigma^1_1 uplnost slabe bisimilarity pro zasabnikove a paralelni zasobnikove automaty."@cs . "14330" . "Uplnostni vysledky pro nerozhodnutelne bisimulacni problemy"@cs . "9-22" . "558390" . "Completeness Results for Undecidable Bisimilarity Problems"@en . . "We establish Sigma_1^1-completeness (in the analytical hierarchy) of weak bisimilarity checking for infinite-state processes generated by pushdown automata and parallel pushdown automata. The results imply Sigma_1^1-completeness of weak bisimilarity for Petri nets and give a negative answer to the open problem stated by Jancar (CAAP'95): ``does the problem of weak bisimilarity for Petri nets belong to Delta_1^1 ?''"@en . "1"^^ . "Universire de Provence, Marseille" . "RIV/00216224:14330/04:00010086!RIV08-MSM-14330___" . "Completeness Results for Undecidable Bisimilarity Problems" . . . "Completeness Results for Undecidable Bisimilarity Problems"@en . "1"^^ . . . "Uplnostni vysledky pro nerozhodnutelne bisimulacni problemy"@cs . . . "RIV/00216224:14330/04:00010086" . "P(GA201/03/1161), Z(MSM 143300001)" . "Proccedings of the 5th International Workshop on Verification of Infinite-State Systems (INFINITY'03)" . "[6BF6B1CF5332]" . .