Blondin, Michael; Raskin, Mikhail The complexity of reachability in affine vector addition systems with states. (English) Zbl 07299471 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 224-236 (2020). MSC: 68 PDF BibTeX XML Cite \textit{M. Blondin} and \textit{M. Raskin}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 224--236 (2020; Zbl 07299471) Full Text: DOI
Niskanen, R.; Potapov, I.; Reichert, J. On decidability and complexity of low-dimensional robot games. (English) Zbl 1436.91002 J. Comput. Syst. Sci. 107, 124-141 (2020). MSC: 91A05 68Q17 68Q25 PDF BibTeX XML Cite \textit{R. Niskanen} et al., J. Comput. Syst. Sci. 107, 124--141 (2020; Zbl 1436.91002) Full Text: DOI
Jančar, Petr; Leroux, Jérôme; Sutre, Grégoire Co-finiteness and co-emptiness of reachability sets in vector addition systems with states. (English) Zbl 1428.68200 Fundam. Inform. 169, No. 1-2, 123-150 (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Jančar} et al., Fundam. Inform. 169, No. 1--2, 123--150 (2019; Zbl 1428.68200) Full Text: DOI
Brijder, Robert Minimal output unstable configurations in chemical reaction networks and deciders. (English) Zbl 1415.68071 Nat. Comput. 15, No. 2, 235-244 (2016). MSC: 68Q05 68Q10 68Q85 92E20 PDF BibTeX XML Cite \textit{R. Brijder}, Nat. Comput. 15, No. 2, 235--244 (2016; Zbl 1415.68071) Full Text: DOI
Leroux, Jérôme; Schmitz, Sylvain Ideal decompositions for vector addition systems (invited talk). (English) Zbl 1388.68199 Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 1, 13 p. (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Leroux} and \textit{S. Schmitz}, LIPIcs -- Leibniz Int. Proc. Inform. 47, Article 1, 13 p. (2016; Zbl 1388.68199) Full Text: DOI
Avellaneda, Florent; Morin, Rémi Catching a structural bug with a flower. (English) Zbl 1335.68161 Fundam. Inform. 140, No. 1, 61-87 (2015). MSC: 68Q85 PDF BibTeX XML Cite \textit{F. Avellaneda} and \textit{R. Morin}, Fundam. Inform. 140, No. 1, 61--87 (2015; Zbl 1335.68161) Full Text: DOI
Frank, Drewes; Jérôme, Leroux Structurally cyclic Petri nets. (English) Zbl 1448.68340 Log. Methods Comput. Sci. 11, No. 4, Paper No. 15, 9 p. (2015). MSC: 68Q85 68Q17 PDF BibTeX XML Cite \textit{D. Frank} and \textit{L. Jérôme}, Log. Methods Comput. Sci. 11, No. 4, Paper No. 15, 9 p. (2015; Zbl 1448.68340) Full Text: DOI
Leroux, Jérôme Vector addition system reversible reachability problem. (English) Zbl 1260.68271 Log. Methods Comput. Sci. 9, No. 1, Paper No. 5, 16 p. (2013). MSC: 68Q85 68Q17 PDF BibTeX XML Cite \textit{J. Leroux}, Log. Methods Comput. Sci. 9, No. 1, Paper No. 5, 16 p. (2013; Zbl 1260.68271) Full Text: DOI
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc Model checking vector addition systems with one zero-test. (English) Zbl 1242.68196 Log. Methods Comput. Sci. 8, No. 2, Paper No. 11, 25 p. (2012). MSC: 68R99 68Q05 03D99 PDF BibTeX XML Cite \textit{R. Bonnet} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 11, 25 p. (2012; Zbl 1242.68196) Full Text: DOI
Leroux, Jérôme Vector addition system reachability problem, a short self-contained proof. (English) Zbl 1284.68429 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 307-316 (2011). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{J. Leroux}, in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 307--316 (2011; Zbl 1284.68429) Full Text: DOI
Bozzelli, Laura; Ganty, Pierre Complexity analysis of the backward coverability algorithm for VASS. (English) Zbl 1348.68159 Delzanno, Giorgio (ed.) et al., Reachability problems. 5th international workshop, RP 2011, Genoa, Italy, September 28–30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24287-8/pbk). Lecture Notes in Computer Science 6945, 96-109 (2011). MSC: 68Q85 68Q25 PDF BibTeX XML Cite \textit{L. Bozzelli} and \textit{P. Ganty}, Lect. Notes Comput. Sci. 6945, 96--109 (2011; Zbl 1348.68159) Full Text: DOI
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc Place-boundedness for vector addition systems with one zero-test. (English) Zbl 1245.68131 Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 192-203, electronic only (2010). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{R. Bonnet} et al., LIPIcs -- Leibniz Int. Proc. Inform. 8, 192--203 (2010; Zbl 1245.68131) Full Text: DOI Link
Leroux, Jérôme The general vector addition system reachability problem by Presburger inductive invariants. (English) Zbl 1208.68161 Log. Methods Comput. Sci. 6, No. 3, Paper No. 22, 25 p. (2010). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Leroux}, Log. Methods Comput. Sci. 6, No. 3, Paper No. 22, 25 p. (2010; Zbl 1208.68161) Full Text: DOI
Yen, Hsu-Chun; Chen, Chien-Liang On minimal elements of upward-closed sets. (English) Zbl 1168.68032 Theor. Comput. Sci. 410, No. 24-25, 2442-2452 (2009). MSC: 68Q85 PDF BibTeX XML Cite \textit{H.-C. Yen} and \textit{C.-L. Chen}, Theor. Comput. Sci. 410, No. 24--25, 2442--2452 (2009; Zbl 1168.68032) Full Text: DOI
Yang, Linmin; Dang, Zhe; Ibarra, Oscar H. On stateless automata and P systems. (English) Zbl 1175.68180 Int. J. Found. Comput. Sci. 19, No. 5, Part 2, 1259-1276 (2008). MSC: 68Q10 68Q45 68Q85 PDF BibTeX XML Cite \textit{L. Yang} et al., Int. J. Found. Comput. Sci. 19, No. 5, Part 2, 1259--1276 (2008; Zbl 1175.68180) Full Text: DOI
Ibarra, Oscar H.; Woodworth, Sara On symport/antiport P systems with a small number of objects. (English) Zbl 1112.68063 Int. J. Comput. Math. 83, No. 7, 613-629 (2006). MSC: 68Q10 PDF BibTeX XML Cite \textit{O. H. Ibarra} and \textit{S. Woodworth}, Int. J. Comput. Math. 83, No. 7, 613--629 (2006; Zbl 1112.68063) Full Text: DOI
Dang, Zhe; Ibarra, Oscar H. On one-membrane P systems operating in sequential mode. (English) Zbl 1080.68032 Int. J. Found. Comput. Sci. 16, No. 5, 867-881 (2005). MSC: 68Q10 68Q05 PDF BibTeX XML Cite \textit{Z. Dang} and \textit{O. H. Ibarra}, Int. J. Found. Comput. Sci. 16, No. 5, 867--881 (2005; Zbl 1080.68032) Full Text: DOI
Ibarra, Oscar H.; Dang, Zhe; Egecioglu, Omer Catalytic P systems, semilinear sets, and vector addition systems. (English) Zbl 1070.68043 Theor. Comput. Sci. 312, No. 2-3, 379-399 (2004). MSC: 68Q10 68Q05 PDF BibTeX XML Cite \textit{O. H. Ibarra} et al., Theor. Comput. Sci. 312, No. 2--3, 379--399 (2004; Zbl 1070.68043) Full Text: DOI
Ibarra, Oscar H.; Dang, Zhe; Egecioglu, Omer; Saxena, Gaurav Characterizations of catalytic membrane computing systems. (English) Zbl 1124.68364 Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2003. 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25–29, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40671-9/pbk). Lect. Notes Comput. Sci. 2747, 480-489 (2003). MSC: 68Q10 PDF BibTeX XML Cite \textit{O. H. Ibarra} et al., Lect. Notes Comput. Sci. 2747, 480--489 (2003; Zbl 1124.68364) Full Text: DOI
Delzanno, Giorgio; Raskin, Jean-François Symbolic representation of upward-closed sets. (English) Zbl 0961.68096 Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 426-440 (2000). MSC: 68Q85 PDF BibTeX XML Cite \textit{G. Delzanno} and \textit{J.-F. Raskin}, Lect. Notes Comput. Sci. 1785, 426--440 (2000; Zbl 0961.68096)
Yen, Hsu-Chun A note on fine covers and iterable factors of VAS languages. (English) Zbl 1022.68574 Inf. Process. Lett. 56, No. 5, 237-243 (1995). MSC: 68Q45 68Q85 PDF BibTeX XML Cite \textit{H.-C. Yen}, Inf. Process. Lett. 56, No. 5, 237--243 (1995; Zbl 1022.68574) Full Text: DOI
Björner, Anders; Lovász, László Chip-firing games on directed graphs. (English) Zbl 0805.90142 J. Algebr. Comb. 1, No. 4, 305-328 (1992). MSC: 91A43 60G50 05C20 PDF BibTeX XML Cite \textit{A. Björner} and \textit{L. Lovász}, J. Algebr. Comb. 1, No. 4, 305--328 (1992; Zbl 0805.90142) Full Text: DOI
Pierre, Laurent; Schwer, Sylviane R. Rational index of vector addition systems languages. (English) Zbl 0679.68143 Acta Inf. 26, No. 6, 503-525 (1989). MSC: 68Q45 68Q85 68Q25 PDF BibTeX XML Cite \textit{L. Pierre} and \textit{S. R. Schwer}, Acta Inf. 26, No. 6, 503--525 (1989; Zbl 0679.68143) Full Text: DOI
Müller, Horst The reachability problem for VAS. (English) Zbl 0579.68037 Advances in Petri nets 1984, Lect. Notes Comput. Sci. 188, 376-391 (1985). MSC: 68Q85 03D03 PDF BibTeX XML
Gelenbe, Erol Stationary deterministic flows in discrete systems. I. (English) Zbl 0498.68024 Theor. Comput. Sci. 23, 107-127 (1983). MSC: 68M20 68Q85 68N25 68N99 93B07 PDF BibTeX XML Cite \textit{E. Gelenbe}, Theor. Comput. Sci. 23, 107--127 (1983; Zbl 0498.68024) Full Text: DOI
Gelenbe, E. Stationary deterministic flows in discrete systems. I. (English) Zbl 0484.68027 System modeling and optimization, Proc. 10th IFIP Conf., New York 1981, Lect. Notes Contr. Inf. Sci. 38, 95-107 (1982). MSC: 68M20 68Q85 90B10 PDF BibTeX XML
Boerger, Egon; Kleine Buening, Hans The r.e. complexity of decision problems for commutative semi-Thue systems with recursive rule set. (English) Zbl 0499.03025 Z. Math. Logik Grundlagen Math. 26, 459-469 (1980). MSC: 03D03 03D40 68Q85 03D30 03D15 03B25 PDF BibTeX XML Cite \textit{E. Boerger} and \textit{H. Kleine Buening}, Z. Math. Logik Grundlagen Math. 26, 459--469 (1980; Zbl 0499.03025) Full Text: DOI
Grabowski, Jan Lineare Methoden in der Theorie der Vektoradditionssysteme. II. (German) Zbl 0433.68053 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 26, 67 S. (1980). MSC: 68Q85 20M35 03B25 PDF BibTeX XML Cite \textit{J. Grabowski}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 26, 67 S. (1980; Zbl 0433.68053)
Grabowski, Jan Lineare Methoden in der Theorie der Vektoradditionssysteme. I. (German) Zbl 0432.68044 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 24, 59 S. (1980). MSC: 68Q85 20M35 03B25 PDF BibTeX XML Cite \textit{J. Grabowski}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 24, 59 S. (1980; Zbl 0432.68044)
Henderson, Peter B.; Zalcstein, Yechezkel Synchronization problems solvable by generalized PV systems. (English) Zbl 0426.68040 J. Assoc. Comput. Mach. 27, 60-71 (1980). MSC: 68Q85 68Q60 68Q45 PDF BibTeX XML Cite \textit{P. B. Henderson} and \textit{Y. Zalcstein}, J. Assoc. Comput. Mach. 27, 60--71 (1980; Zbl 0426.68040) Full Text: DOI
Hopcroft, John; Pansiot, Jean-Jacques On the reachability problem for 5-dimensional vector addition systems. (English) Zbl 0466.68048 Theor. Comput. Sci. 8, 135-159 (1979). MSC: 68Q85 03B25 03D80 PDF BibTeX XML Cite \textit{J. Hopcroft} and \textit{J.-J. Pansiot}, Theor. Comput. Sci. 8, 135--159 (1979; Zbl 0466.68048) Full Text: DOI
Grabowski, Jan On Hack’s conjecture concerning reachability in Petri nets. (English) Zbl 0424.68034 Elektron. Inform.-verarb. Kybernetik 15, 339-354 (1979). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Grabowski}, Elektron. Informationsverarbeitung Kybernetik 15, 339--354 (1979; Zbl 0424.68034)
Starke, P. H. Petri-Netze. (German) Zbl 0438.68022 ZKI-Information No. 3. Berlin: Zentralinstitut für Kybernetik und Informationsprozesse der Akademie der Wissenschaften der DDR. 88 S. (1978). MSC: 68Q85 68Q45 68Q05 68-01 68-02 PDF BibTeX XML
Dolev, Danny Local characterization of models of synchronization primitives. (English) Zbl 0408.68045 Proc. Conf. theoretical computer sciences, Waterloo/Ontario 1977, 53-60 (1977). MSC: 68Q05 68Q85 68N25 PDF BibTeX XML