Stochastic Time Petri Nets (sTPN) are a useful formalism for modelling and quantitative analysis of concurrent systems with timing constraints. This paper describes an implemented tool supporting sTPN, which was achieved on top of a control-centric agent-based framework which fosters model continuity. Model continuity means the same model can be used for property checking through simulation and for real-time execution. The paper demonstrates the effectiveness of the approach through a modelling example.

AGENT-BASED MODEL CONTINUITY OF STOCHASTIC TIME PETRI NETS

NIGRO, Libero;
2016-01-01

Abstract

Stochastic Time Petri Nets (sTPN) are a useful formalism for modelling and quantitative analysis of concurrent systems with timing constraints. This paper describes an implemented tool supporting sTPN, which was achieved on top of a control-centric agent-based framework which fosters model continuity. Model continuity means the same model can be used for property checking through simulation and for real-time execution. The paper demonstrates the effectiveness of the approach through a modelling example.
2016
Multi-agent systems, model continuity, ; simulation, real-time, ; stochastic time Petri nets, Java, JADE
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/20.500.11770/171994
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact