AbstractThis paper introduces new tools designed for the study of the languages associated with vector addition systems or, equivalently, Petri nets. With these tools, we prove that the problem of deciding the context-freeness of such a language is solvable
htmlabstractIn this article, we provide a coalgebraic account of parts of the mathematical theory un...
From a biological point of view automata arrays have been employed by John von Neumann in order to s...
Vector addition systems, or equivalently Petri nets, are one of the most popular formal models for t...
AbstractThis paper introduces new tools designed for the study of the languages associated with vect...
Abstract—Petri nets, or equivalently vector addition systems (VAS), are widely recognized as a centr...
10 pagesInternational audiencePetri nets, or equivalently vector addition systems (VAS), are widely ...
AbstractNecessary and sufficient conditions are established for Vector Addition Systems to define re...
The family of vector languages properly contains all context-free languages. For vector languages th...
AbstractWe demonstrate the usefulness of Petri nets for treating problems about vector addition syst...
A class of automata based upon generalized Petri nets is introduced and defined. The language which ...
The reachability set for vector addition systems of dimension less than or equal to five are shown ...
We consider the problems of language inclusion and language equivalence for Vector Addition Systems ...
Context-free tree languages play an important role in algebraic semantics and are applied in mathema...
Colloque avec actes et comité de lecture. internationale.International audienceWe introduce a new cl...
International audienceVector addition systems, or equivalently Petri nets, are one of the most popul...
htmlabstractIn this article, we provide a coalgebraic account of parts of the mathematical theory un...
From a biological point of view automata arrays have been employed by John von Neumann in order to s...
Vector addition systems, or equivalently Petri nets, are one of the most popular formal models for t...
AbstractThis paper introduces new tools designed for the study of the languages associated with vect...
Abstract—Petri nets, or equivalently vector addition systems (VAS), are widely recognized as a centr...
10 pagesInternational audiencePetri nets, or equivalently vector addition systems (VAS), are widely ...
AbstractNecessary and sufficient conditions are established for Vector Addition Systems to define re...
The family of vector languages properly contains all context-free languages. For vector languages th...
AbstractWe demonstrate the usefulness of Petri nets for treating problems about vector addition syst...
A class of automata based upon generalized Petri nets is introduced and defined. The language which ...
The reachability set for vector addition systems of dimension less than or equal to five are shown ...
We consider the problems of language inclusion and language equivalence for Vector Addition Systems ...
Context-free tree languages play an important role in algebraic semantics and are applied in mathema...
Colloque avec actes et comité de lecture. internationale.International audienceWe introduce a new cl...
International audienceVector addition systems, or equivalently Petri nets, are one of the most popul...
htmlabstractIn this article, we provide a coalgebraic account of parts of the mathematical theory un...
From a biological point of view automata arrays have been employed by John von Neumann in order to s...
Vector addition systems, or equivalently Petri nets, are one of the most popular formal models for t...
DOI
Add to ORKG