Propositional description of finite cause-effect structures (Q1111370): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Cause-effect structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4134909 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3939203 / rank | |||
Normal rank |
Latest revision as of 10:58, 19 June 2024
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