Cause-Effect Structures An Algebra of Nets with Examples of Applications /

• Main Author: Czaja, Ludwik (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Lecture Notes in Networks and Systems, 45
• Subjects: Computational intelligence.; Artificial intelligence.; Computational Intelligence.; Artificial Intelligence.

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