Vector addition systems and regular languages
scientific article; zbMATH DE number 3698390