Can I find a partner? Undecidability of partner existence for open nets
type: Item
instance of: scholarly article
title: Can I find a partner? Undecidability of partner existence for open nets
zbMATH Open document ID: 1191.68442
author: Peter Massuthe
author: Alexander Serebrenik
author: Natalia Sidorova
author: Karsten Wolf
published in: Information Processing Letters
publication date: 2010-06-09T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5719217
zbMATH Keywords: Petri net
zbMATH Keywords: open net
zbMATH Keywords: operability
zbMATH Keywords: web service
zbMATH Keywords: theory of computation
describes a project that uses: UMDES
describes a project that uses: BPEL2oWFN
describes a project that uses: BPEL2PN
MaRDI profile type: Publication
full work available at URL: j.ipl.2008.07.006
OpenAlex ID: W2010968096
cites work: Q4719062
cites work: Operating Guidelines for Finite-State Services
cites work: Fundamental Approaches to Software Engineering
cites work: Supervisory Control of a Class of Discrete Event Processes
DOI: 10.1016/J.IPL.2008.07.006
description: scientific article; zbMATH DE number 5719217