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.

PNemu: An Extensible Modeling Library for Adaptable Distributed Systems / M. Camilli, L. Capra, C. Bellettini (LECTURE NOTES IN COMPUTER SCIENCE). - In: Application and Theory of Petri Nets and Concurrency / [a cura di] S. Donatelli, S. Haar. - [s.l] : Springer, 2019 May. - ISBN 9783030215705. - pp. 80-90 (( Intervento presentato al 40. convegno PETRI NETS tenutosi a Aachen nel 2019.

PNemu: An Extensible Modeling Library for Adaptable Distributed Systems

M. Camilli;L. Capra;C. Bellettini
2019

Abstract

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.
High-Level Petri nets; Self-adaptation; Decentralized control; Modeling; Simulation
Settore INF/01 - Informatica
mag-2019
Book Part (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/657071
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 1
social impact