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...

Ful tanımlama

Detaylı Bibliyografya
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:
Computational intelligence.
Artificial intelligence.
Computational Intelligence.
Artificial Intelligence.
Online Erişim:Full-text access

Internet

Full-text access

Merkez Kütüphane

Detaylı Erişim Bilgileri Merkez Kütüphane
Kopya Bilgisi UnknownBarcode

Benzer Materyaller