Propositional description of finite cause-effect structures (Q1111370)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Propositional description of finite cause-effect structures |
scientific article; zbMATH DE number 4076600
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Propositional description of finite cause-effect structures |
scientific article; zbMATH DE number 4076600 |
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
0 references
0.8625824
0 references
0.86187184
0 references
0.8569427
0 references
0 references
