PNemu: An Extensible Modeling Library for Adaptable Distributed Systems

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.