Jančar, Petr; Osička, Petr; Sawa, Zdeněk Countdown games, and simulation on (succinct) one-counter nets. (English) Zbl 07667084 Log. Methods Comput. Sci. 19, No. 1, Paper No. 11, 44 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{P. Jančar} et al., Log. Methods Comput. Sci. 19, No. 1, Paper No. 11, 44 p. (2023; Zbl 07667084) Full Text: DOI arXiv
Jančar, Petr Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence. (English) Zbl 1398.68367 Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 52, 13 p. (2016). MSC: 68Q85 03B25 68Q42 68Q45 PDFBibTeX XMLCite \textit{P. Jančar}, LIPIcs -- Leibniz Int. Proc. Inform. 58, Article 52, 13 p. (2016; Zbl 1398.68367) Full Text: DOI arXiv
Jančar, Petr; Srba, Jiří Undecidability of bisimilarity by defender’s forcing. (English) Zbl 1326.68199 J. ACM 55, No. 1, Article No. 5, 26 p. (2008). MSC: 68Q85 03B25 68Q42 68Q45 PDFBibTeX XMLCite \textit{P. Jančar} and \textit{J. Srba}, J. ACM 55, No. 1, Article No. 5, 26 p. (2008; Zbl 1326.68199) Full Text: DOI
Jančar, Petr High undecidability of weak bisimilarity for Petri nets. (English) Zbl 1496.68229 Mosses, Peter D. (ed.) et al., TAPSOFT ’95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 915, 349-363 (1995). MSC: 68Q85 03D35 03D55 PDFBibTeX XMLCite \textit{P. Jančar}, Lect. Notes Comput. Sci. 915, 349--363 (1995; Zbl 1496.68229) Full Text: DOI
Jančar, Petr Decidability questions for bisimilarity of Petri nets and some related problems. (English) Zbl 0941.68644 Enjalbert, Patrice (ed.) et al., STACS 94. 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 775, 581-592 (1994). MSC: 68Q85 03D35 PDFBibTeX XMLCite \textit{P. Jančar}, Lect. Notes Comput. Sci. 775, 581--592 (1994; Zbl 0941.68644)
Jančar, Petr Decidability of a temporal logic problem for Petri nets. (English) Zbl 0701.68081 Theor. Comput. Sci. 74, No. 1, 71-93 (1990). MSC: 68Q85 03B25 03B45 PDFBibTeX XMLCite \textit{P. Jančar}, Theor. Comput. Sci. 74, No. 1, 71--93 (1990; Zbl 0701.68081) Full Text: DOI
Jančar, P. Decidability questions for some dynamic properties of Petri nets. (Abstract of thesis). (English) Zbl 0682.68076 Commentat. Math. Univ. Carol. 30, No. 1, 201 (1989). MSC: 68Q85 03D60 PDFBibTeX XMLCite \textit{P. Jančar}, Commentat. Math. Univ. Carol. 30, No. 1, 201 (1989; Zbl 0682.68076) Full Text: EuDML