Esparza, Javier; Raskin, Mikhail; Welzel, Christoph Computing parameterized invariants of parameterized Petri nets. (English) Zbl 07609826 Fundam. Inform. 187, No. 2-4, 197-243 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{J. Esparza} et al., Fundam. Inform. 187, No. 2--4, 197--243 (2022; Zbl 07609826) Full Text: DOI
Esparza, Javier; Raskin, Mikhail; Welzel, Christoph Computing parameterized invariants of parameterized Petri nets. (English) Zbl 1489.68158 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 141-163 (2021). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{J. Esparza} et al., Lect. Notes Comput. Sci. 12734, 141--163 (2021; Zbl 1489.68158) Full Text: DOI arXiv
Best, Eike; Esparza, Javier Existence of home states in Petri nets is decidable. (English) Zbl 1356.68152 Inf. Process. Lett. 116, No. 6, 423-427 (2016). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. Best} and \textit{J. Esparza}, Inf. Process. Lett. 116, No. 6, 423--427 (2016; Zbl 1356.68152) Full Text: DOI
Esparza, Javier; Bruns, Glenn Trapping mutual exclusion in the box calculus. (English) Zbl 0872.68133 Theor. Comput. Sci. 153, No. 1-2, 95-128 (1996). MSC: 68Q85 68Q55 68Q60 68Q10 PDFBibTeX XMLCite \textit{J. Esparza} and \textit{G. Bruns}, Theor. Comput. Sci. 153, No. 1--2, 95--128 (1996; Zbl 0872.68133) Full Text: DOI
Cheng, Allan; Esparza, Javier; Palsberg, Jens Complexity results for 1-safe nets. (English) Zbl 0873.68146 Theor. Comput. Sci. 147, No. 1-2, 117-136 (1995). MSC: 68Q85 68Q10 PDFBibTeX XMLCite \textit{A. Cheng} et al., Theor. Comput. Sci. 147, No. 1--2, 117--136 (1995; Zbl 0873.68146) Full Text: DOI
Esparza, Javier; von Stengel, Bernhard The asynchronous committee meeting problem. (English) Zbl 1528.68251 van Leeuwen, Jan (ed.), WG ’93. Graph-theoretic concepts in computer science, 19th international workshop, Utrecht, the Netherlands, June 16–18, 1993. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 790, 276-287 (1994). MSC: 68Q85 06A07 68Q25 68R05 68R10 PDFBibTeX XMLCite \textit{J. Esparza} and \textit{B. von Stengel}, Lect. Notes Comput. Sci. 790, 276--287 (1994; Zbl 1528.68251) Full Text: DOI
Best, Eike; Desel, Jörg; Esparza, Javier Traps characterize home states in free choice systems. (English) Zbl 0761.68070 Theor. Comput. Sci. 101, No. 2, 161-176 (1992). MSC: 68Q85 68Q10 PDFBibTeX XMLCite \textit{E. Best} et al., Theor. Comput. Sci. 101, No. 2, 161--176 (1992; Zbl 0761.68070) Full Text: DOI