Hierarchical reachability graph generation for Petri nets
type: Item
instance of: scholarly article
title: Hierarchical reachability graph generation for Petri nets
zbMATH Open document ID: 1020.68058
DOI: 10.1023/A:1020321222420
author: Peter Buchholz
author: Peter Kemper
published in: Formal Methods in System Design
publication date: 2003-05-04T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68R10
zbMATH DE Number: 1903886
zbMATH Keywords: Petri nets
zbMATH Keywords: reachability set
zbMATH Keywords: reachability graph
zbMATH Keywords: hierarchical structure
zbMATH Keywords: invariant analysis
describes a project that uses: APNN-Toolbox
MaRDI profile type: Publication
full work available at URL: a:1020321222420
OpenAlex ID: W1482993605
description: scientific article; zbMATH DE number 1903886