Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
type: Item
instance of: scholarly article
zbMATH Open document ID: 1248.68356
author: M. Praveen
author: Kamal Lodaya
publication date: 2012-10-24T00:00:00Z
full work available at URL: frontdoor 62aa.html
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 6098240
zbMATH Keywords: Petri nets
zbMATH Keywords: coverability
zbMATH Keywords: boundedness
zbMATH Keywords: paraPSPACE
MaRDI profile type: Publication
OpenAlex ID: W1559819674
title: Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
DOI: 10.4230/LIPICS.FSTTCS.2009.2331
description: scientific article; zbMATH DE number 6098240