Skip to content

Latest commit

 

History

History
25 lines (17 loc) · 1.76 KB

README.md

File metadata and controls

25 lines (17 loc) · 1.76 KB
Raw

SN-BASED EMULATING FRAMEWORK

This repository contains the emulating framework to model distributed self-adaptive systems with decentralized adaptation control. The modeling framework is based on Symmetric Nets. This repository contains the SN modules composing the framework along with running examples (based on a manufacturing system case study).

Publications describing the emulating framework follow:

  • Capra L., Camilli M. (2020) Emulating Self-adaptive Stochastic Petri Nets. In: Gribaudo M., Iacono M., Phung-Duc T., Razumchik R. (eds) Computer Performance Engineering. EPEW 2019. Lecture Notes in Computer Science, vol 12039. Springer, Cham. https://doi.org/10.1007/978-3-030-44411-2_3
  • L. Capra and M. Camilli, "A Symmetric Nets Emulator for Adaptive P/T Nets," 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania, 2018, pp. 183-190, doi: 10.1109/SYNASC.2018.00038
  • Capra, L., & Camilli, M. (2018). Towards Evolving Petri Nets: a Symmetric Nets-based Framework. IFAC-PapersOnLine, 51(7), 480-485

All the models can be opened and simulated/analyzed by using the GreatSPN software tool.

Content:

  • Emulator.PNPRO: emulator SN model (nominal + optimized versions);
  • Emu_modules.PNPRO: separated modules composing the whole framework;
  • Emu_ams.PNPRO: asymmetric manufacturing system example along with CSLTA requirements;
  • Emu_sms.PNPRO: symmetric manufacturing system example along with CSLTA requirements;

Contacts: