书目名称 | Computing in Cause-Effect Structures |
编辑 | Ludwik Czaja |
视频video | http://file.papertrans.cn/235/234806/234806.mp4 |
概述 | Presents the computing capability of c-e structures, without entering into mathematical details of their algebra.Shows how computing with natural numbers and in propositional calculus can be performed |
丛书名称 | Lecture Notes in Networks and Systems |
图书封面 |  |
描述 | .This book focuses on numerous examples of tasks represented by c-e structure. Cause–effect (c-e) structures are dynamic objects devised for algebraic and graphic description of realistic tasks. They constitute a formal system providing means to specify or implement (depending on degree of description generality) the tasks. They can be transformed, thus come under simplification, in accordance with rules-axioms of their algebra. Also, their properties can be inferred from the axioms. One objective of this book is presentation, by many realistic examples, of computing capability of c-e structures, without entering into mathematical details of their algebra. In particular, how computing with natural numbers and in propositional calculus can be performed by c-e structures and how to specify behavior of data structures. But also demonstration of many other tasks taken from the area of parallel processing, specified as c-e structures. Another objective is modelling or simulation by means ofc-e structures, of other descriptive systems, devised for tasks from various fields. Also without formalizing by usage of functions between the systems. This concerns formalisms such as reaction systems, |
出版日期 | Book 2022 |
关键词 | Cause-effect Strucures; Computing in Cause-effect Strucures; Petri Nets; c-e Structures; Rough Cause-eff |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-030-88813-8 |
isbn_softcover | 978-3-030-88815-2 |
isbn_ebook | 978-3-030-88813-8Series ISSN 2367-3370 Series E-ISSN 2367-3389 |
issn_series | 2367-3370 |
copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |