Relabelling LTS for Petri net synthesis via solving separation problems
type: Item
instance of: scholarly article
title: Relabelling LTS for Petri net synthesis via solving separation problems
zbMATH Open document ID: 1464.68261
DOI: 10.1007/978-3-662-60651-3_9
author: Uli Schlachter
author: Harro Wimmel
publication date: 2021-06-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 7358488
zbMATH Keywords: labelled transition systems
zbMATH Keywords: Petri nets
zbMATH Keywords: system synthesis
zbMATH Keywords: regions
zbMATH Keywords: separation problems
zbMATH Keywords: label splitting
describes a project that uses: APT
MaRDI profile type: Publication
full work available at URL: 978-3-662-60651-3 9
OpenAlex ID: W2990497020
description: scientific article; zbMATH DE number 7358488