PNemu: Modeling and simulation of Self-Adaptive Systems using high-level Petri nets

Code

Matteo Camilli and Lorenzo Capra

2019

Handle:

https://hdl.handle.net/10863/27498

Abstract

SwSE- Software and Systems Engineering

url

https://github.com/SELab-unimi/pnemuView

Title: PNemu: Modeling and simulation of Self-Adaptive Systems using high-level Petri nets
Creators: Matteo Camilli
Lorenzo Capra
Identifiers: (UNIBZ)31460358
991006482889901241
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Code
Author Names String: Camilli M, Capra L
Additional Description: description: PNEmu is an extensible python library that provides all the necessary to model Self-Adaptive Systems using High-Level Petri nets (HLPNs). It provides to researchers the ability to quickly model and simulate self-adaptive systems using P/T nets and High-Level Petri nets as managed and managing subsystem, respectively. The managed subsystem is encoded into the marking of a High-Level Petri net emulator that can execute, sense and alter the managed subsystem by means of library primitives. Our modeling approach leverages High-Level Petri to specify decentralized adaptation control in terms of feedback loops.
unibz-area: SwSE- Software and Systems Engineering
MIURSSD: Informatica;Sistemi di elaborazione delle informazioni
MIURSSDCODE: INF/01;ING-INF/05

7 Record Views