Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning
type: Item
instance of: scholarly article
title: Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning
zbMATH Open document ID: 1282.68175
DOI: 10.3233/FI-2013-781
author: Pierre-Alain Reynier
author: Frédéric Servais
published in: Fundamenta Informaticae
publication date: 2013-04-18T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6155482
zbMATH Keywords: Petri nets
zbMATH Keywords: concurrent systems
zbMATH Keywords: verification
MaRDI profile type: Publication
describes a project that uses: Python
description: scientific article; zbMATH DE number 6155482