Modeling concurrent behavior: between expressibility and decidability

9^th May 2019, 14:00
Irina Lomazova

Abstract

The modern computational paradigm shifts from traditional centralized computing on workstations, servers, or groups of servers, to distributed, decentralized, loosely coupled computing (cloud, ubiquitous, etc.). Correctness and safeness of distributed systems is a matter of utmost importance, and formal methods are used for modeling and analysis of such systems.

In this talk, we review some automata-based models of concurrent systems, in particular Petri net extensions, and discuss the balance between expressibility of modeling languages and decidability of behavioral properties.