Liveness for synchronized choice Petri nets
type: Item
instance of: scholarly article
zbMATH Open document ID: 0982.68097
author: Daniel Y. Chao
author: Jose A. Nicdao
publication date: 2001-10-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1658243
zbMATH Keywords: Petri nets
MaRDI profile type: Publication
OpenAlex ID: W1979198381
DOI: 10.1093/COMJNL/44.2.124
title: Liveness for synchronized choice Petri nets
published in: The Computer Journal. Section A Section B
description: scientific article; zbMATH DE number 1658243