Cause-effect structures
type: Item
instance of: scholarly article
title: Cause-effect structures
zbMATH Open document ID: 0642.68108
DOI: 10.1016/0020-0190(88)90189-5
author: Ludwik Czaja
published in: Information Processing Letters
publication date: 1988-01-01T00:00:00Z
review text: The paper is an attempt to devise an algebraic calculus for analyzing behaviour of concurrent systems represented by the so-called cause-effect structures. In principle a cause-effect structure is a directed graph in which predecessors and successors of each node are grouped into regions. Nodes are considered as actions and a region is a group of action causes sufficient to make it active, or of its effects sufficient to make it passive. The author shows that the cause-effect structures are equivalent to condition-event Petri nets.
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 4047136
zbMATH Keywords: concurrent systems
zbMATH Keywords: cause-effect structures
zbMATH Keywords: condition-event Petri nets
reviewed by: Ryszard Janicki
MaRDI profile type: Publication
full work available at URL: 0020-0190(88)90189-5
OpenAlex ID: W2090362795
cites work: Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979. Ed. by Wilfried Brauer
cites work: Communicating sequential processes
cites work: Parallel program schemata
cites work: A calculus of communicating systems
cites work: Q4134909
description: scientific article; zbMATH DE number 4047136