The covering and boundedness problems for branching vector addition systems
type: Item
instance of: scholarly article
zbMATH Open document ID: 1248.68202
author: Stéphane Demri
author: Marcin Jurdziński
author: Oded Lachish
author: Ranko Lazić
publication date: 2012-10-24T00:00:00Z
full work available at URL: frontdoor ef7f.html
Mathematics Subject Classification ID: 68Q15
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 6098226
zbMATH Keywords: vector addition systems
zbMATH Keywords: Petri nets
zbMATH Keywords: covering
zbMATH Keywords: boundedness
zbMATH Keywords: computational complexity
MaRDI profile type: Publication
DOI: 10.4230/LIPICS.FSTTCS.2009.2317
title: The covering and boundedness problems for branching vector addition systems
description: scientific article; zbMATH DE number 6098226