Bouziane's transformation of the Petri net reachability problem and incorrectness of the related algorithm
type: Item
instance of: scholarly article
title: Bouziane's transformation of the Petri net reachability problem and incorrectness of the related algorithm
zbMATH Open document ID: 1178.68365
author: Petr Jančar
published in: Information and Computation
publication date: 2008-12-03T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5377238
zbMATH Keywords: Petri net
zbMATH Keywords: reachability
MaRDI profile type: Publication
full work available at URL: j.ic.2008.06.003
OpenAlex ID: W2079573613
cites work: An Algorithm for the General Petri Net Reachability Problem
cites work: Q4247290
cites work: Verification on infinite structures.
cites work: Security policies as membranes in systems for global computing
cites work: The complexity of the word problems for commutative semigroups and polynomial ideals
DOI: 10.1016/J.IC.2008.06.003
description: scientific article; zbMATH DE number 5377238