Reichert, Julien On the complexity of counter reachability games. (English) Zbl 1357.68142 Fundam. Inform. 143, No. 3-4, 415-436 (2016). MSC: 68Q85 68Q25 91A43 PDF BibTeX XML Cite \textit{J. Reichert}, Fundam. Inform. 143, No. 3--4, 415--436 (2016; Zbl 1357.68142) Full Text: DOI
Piipponen, Artturi; Valmari, Antti Constructing minimal coverability sets. (English) Zbl 1362.68222 Fundam. Inform. 143, No. 3-4, 393-414 (2016). MSC: 68Q85 68P05 PDF BibTeX XML Cite \textit{A. Piipponen} and \textit{A. Valmari}, Fundam. Inform. 143, No. 3--4, 393--414 (2016; Zbl 1362.68222) Full Text: DOI
Mayr, Ernst W.; Weihmann, Jeremias Completeness results for generalized communication-free Petri nets with arbitrary arc multiplicities. (English) Zbl 1357.68140 Fundam. Inform. 143, No. 3-4, 355-391 (2016). MSC: 68Q85 68Q17 PDF BibTeX XML Cite \textit{E. W. Mayr} and \textit{J. Weihmann}, Fundam. Inform. 143, No. 3--4, 355--391 (2016; Zbl 1357.68140) Full Text: DOI
Mayr, Richard; Totzke, Patrick Branching-time model checking gap-order constraint systems. (English) Zbl 1362.68176 Fundam. Inform. 143, No. 3-4, 339-353 (2016). MSC: 68Q60 03B25 03B44 68Q85 PDF BibTeX XML Cite \textit{R. Mayr} and \textit{P. Totzke}, Fundam. Inform. 143, No. 3--4, 339--353 (2016; Zbl 1362.68176) Full Text: DOI
Haase, Christoph; Ouaknine, Joël; Worrell, James Relating reachability problems in timed and counter automata. (English) Zbl 1357.68106 Fundam. Inform. 143, No. 3-4, 317-338 (2016). MSC: 68Q45 68Q25 PDF BibTeX XML Cite \textit{C. Haase} et al., Fundam. Inform. 143, No. 3--4, 317--338 (2016; Zbl 1357.68106) Full Text: DOI
Delzanno, Giorgio; Sangnier, Arnaud; Traverso, Riccardo Adding data registers to parameterized networks with broadcast. (English) Zbl 1357.68111 Fundam. Inform. 143, No. 3-4, 287-316 (2016). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{G. Delzanno} et al., Fundam. Inform. 143, No. 3--4, 287--316 (2016; Zbl 1357.68111) Full Text: DOI
Brocchi, Stefano; Massazza, Paolo A new sandpile model with smoothness assumptions. (English) Zbl 1357.37021 Fundam. Inform. 143, No. 3-4, 261-286 (2016). MSC: 37B15 82B20 PDF BibTeX XML Cite \textit{S. Brocchi} and \textit{P. Massazza}, Fundam. Inform. 143, No. 3--4, 261--286 (2016; Zbl 1357.37021) Full Text: DOI
Bérard, Beatrice; Haddad, Serge; Jovanović, Aleksandra; Lime, Didier Interrupt timed automata with auxiliary clocks and parameters. (English) Zbl 1357.68100 Fundam. Inform. 143, No. 3-4, 235-259 (2016). MSC: 68Q45 PDF BibTeX XML Cite \textit{B. Bérard} et al., Fundam. Inform. 143, No. 3--4, 235--259 (2016; Zbl 1357.68100) Full Text: DOI
Akshay, S.; Hélouët, Loïc; Jard, Claude; Reynier, Pierre-Alain Robustness of time Petri nets under guard enlargement. (English) Zbl 1357.68132 Fundam. Inform. 143, No. 3-4, 207-234 (2016). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{S. Akshay} et al., Fundam. Inform. 143, No. 3--4, 207--234 (2016; Zbl 1357.68132) Full Text: DOI
Abdulla, Parosh Aziz (ed.); Demri, Stéphane (ed.); Finkel, Alain (ed.); Leroux, Jérôme (ed.); Potapov, Igor (ed.) Preface. (English) Zbl 1360.00108 Fundam. Inform. 143, No. 3-4, i-ii (2016). MSC: 00B25 68-06 68Qxx PDF BibTeX XML Cite \textit{P. A. Abdulla} (ed.) et al., Fundam. Inform. 143, No. 3--4, i-ii (2016; Zbl 1360.00108) Full Text: DOI