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

Full description

Bibliographic Details
Main Author: Czaja, Ludwik (Author)
Corporate Author: SpringerLink (Online service)
Format: e-Book
Language:English
Published: Cham : Springer International Publishing : 2019.
Imprint: Springer,
Edition:1st ed. 2019.
Series:Lecture Notes in Networks and Systems, 45
Subjects:
Computational intelligence.
Artificial intelligence.
Computational Intelligence.
Artificial Intelligence.
Online Access:Full-text access

Internet

Full-text access

Merkez Kütüphane

Holdings details from Merkez Kütüphane
Copy UnknownBarcode

Similar Items