Propositional description of finite cause-effect structures (Q1111370)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Propositional description of finite cause-effect structures |
scientific article |
Statements
Propositional description of finite cause-effect structures (English)
0 references
1988
0 references
Cause-effect structures introduced by \textit{L. Czaja} [Inf. Process. Lett. 26, 313-319 (1988; Zbl 0642.68108)] can be regarded as a model (similar to condition-event Petri nets) of discrete dynamic systems. This paper provides a semantics for cause effect structures in terms of classical propositional calculus, and investigates a possibility of using propositional temporal logic.
0 references
condition-event Petri nets
0 references
discrete dynamic systems
0 references
semantics
0 references
cause effect structures
0 references