Yüklüyor…
Cause-Effect Structures An Algebra of Nets with Examples of Applications /
This book presents a new algebraic system whose interpretation coincides with the behaviour of Petri nets, enhanced with an inhibitory mechanism and four time models. Its goal is to provide a formal means of modelling dynamic tasks, and of testing and verifying properties, in contexts characterised...
Yazar: | Czaja, Ludwik (Yazar) |
---|---|
Müşterek Yazar: | SpringerLink (Online service) |
Materyal Türü: | e-Kitap |
Dil: | İngilizce |
Baskı/Yayın Bilgisi: |
Cham :
Springer International Publishing :
2019.
Imprint: Springer, |
Edisyon: | 1st ed. 2019. |
Seri Bilgileri: | Lecture Notes in Networks and Systems,
45 |
Konular: | |
Online Erişim: | Full-text access |
Benzer Materyaller
-
Introduction to Distributed Computer Systems Principles and Features /
Yazar:: Czaja, Ludwik
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.) -
Algebraic Formalization of Smart Systems Theory and Practice /
Yazar:: Serdyukova, Natalia, ve diğerleri
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.) -
Structural Changes and their Econometric Modeling
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2019.) -
Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 - The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN'2017 - The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 2 /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.) -
Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT-2017 - The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN'2017 - The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 1 /
Baskı/Yayın Bilgisi: (Springer International Publishing : Imprint: Springer, 2018.)