SAT-solving the coverability problem for Petri nets
type: Item
instance of: scholarly article
title: SAT-solving the coverability problem for Petri nets
zbMATH Open document ID: 1073.68057
author: Parosh A. Abdulla
author: S. Purushothaman Iyer
author: Aletta Nylén
published in: Formal Methods in System Design
publication date: 2004-09-09T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2100111
zbMATH Keywords: model checking
MaRDI profile type: Publication
DOI: 10.1023/B:FORM.0000004786.30007.F8
description: scientific article; zbMATH DE number 2100111