On reachability graphs of Petri nets
type: Item
instance of: scholarly article
title: On reachability graphs of Petri nets
zbMATH Open document ID: 1006.68615
DOI: 10.1016/S0045-7906(01)00034-9
author: Xinming Ye
author: Jiantao Zhou
author: Xiaoyu Song
published in: Computers and Electrical Engineering
publication date: 2003-02-20T00:00:00Z
Mathematics Subject Classification ID: 68U99
Mathematics Subject Classification ID: 68M99
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1872216
zbMATH Keywords: Petri net
zbMATH Keywords: reachability tree
zbMATH Keywords: reachability graph
zbMATH Keywords: safeness
zbMATH Keywords: boundedness
zbMATH Keywords: conservation
zbMATH Keywords: liveness
zbMATH Keywords: reachability
zbMATH Keywords: coverability
MaRDI profile type: Publication
full work available at URL: s0045-7906(01)00034-9
OpenAlex ID: W2095048141
description: scientific article; zbMATH DE number 1872216