Skip to main content
WorldCist'20 - 8th World Conference on Information Systems and Technologies

Full Program »

A Petri Net-based Model of Decentralized Self-adaptive Systems and its Automated Support

Formal models must be adequately supported by software tools in order to aid both the design and development of modern distributed systems. Such systems have a growing complexity due to advanced features, such as adaptive mechanisms, they are equipped with to deal with the dynamical environments in which they operate. In this paper, we introduce a two-layer formal model for self-adaptive distributed discrete-event systems, based on standard (Low- and High-level) Petri nets. This formal framework, supported by a modular software library called PNEMU, can be thought of as a baseline to formalize selfadaptation having a decentralized control. This paper focuses on the description of the model’s operational semantics. Moreover, it outlines the structure and basic usage of PNEMU.

lorenzo capra
università degli studi di milano
Italy

 


Powered by OpenConf®
Copyright ©2002-2018 Zakon Group LLC