Abstract
This paper concerns with the reachability and equality problem of generalized vector addition systems, where the systems work in the cartesian-product of the integers with finite (resp. infinite) exception set.
Keywords
Get full access to this article
View all access options for this article.