A compositional dataflow semantics for Petri nets
type: Item
instance of: scholarly article
title: A compositional dataflow semantics for Petri nets
zbMATH Open document ID: 0831.68070
DOI: 10.1007/BF01186644
author: Robert Gold
published in: Acta Informatica
publication date: 1995-11-20T00:00:00Z
review text: We give a semantics for place/transition nets, which describes the input/output behaviour using fixed point techniques. The semantics is shown to be compositional w.r.t. the net operators parallel composition, feedback and output merging. We prove consistency with the step sequence semantics and thus give an equivalent operational semantics.
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 818360
zbMATH Keywords: place/transition nets
zbMATH Keywords: step sequence semantics
zbMATH Keywords: operational semantics
MaRDI profile type: Publication
cites work: Q4842533
cites work: Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
cites work: Nondeterministic data flow programs: How to avoid the merge anomaly
cites work: Q4385538
cites work: Q4168046
cites work: Equational reasoning about nondeterministic processes
cites work: Q3907081
cites work: Petri nets with individual tokens
cites work: Failures semantics and deadlocking of modular Petri nets
full work available at URL: https://doi.org/10.1007/bf01186644
OpenAlex ID: W1968942299
description: scientific article; zbMATH DE number 818360