PNemu is an extensible Python library primarily tailored for modeling adaptable distributed discrete-event systems by means of standard (Low- and High-level) Petri nets. The core of PNemu is composed of a number of modules for the editing and interactive simulation of models. In particular, it supplies a number of off-the-shelf building blocks to easily formalize self-adaptation having a decentralized control through multiple interacting feedback loops. PNemu can be used in conjunction with other software tools to efficiently compute the state space and perform formal verification activities. This paper describes the PNemu structure, features, and usage.
|Titolo:||PNemu: An Extensible Modeling Library for Adaptable Distributed Systems|
|Parole Chiave:||High-Level Petri nets; Self-adaptation; Decentralized control; Modeling; Simulation|
|Settore Scientifico Disciplinare:||Settore INF/01 - Informatica|
|Data di pubblicazione:||mag-2019|
|Digital Object Identifier (DOI):||10.1007/978-3-030-21571-2_5|
|Tipologia:||Book Part (author)|
|Appare nelle tipologie:||03 - Contributo in volume|