Stochastic Symmetric Nets (SSNs) are a High-Level Stochastic Petri Net formalism which provides a parametric system description and an efficient analysis technique that exploit system symmetries to automatically aggregate its states. Even if significant reductions can be achieved in highly symmetric models, the reduced state space can still be too large to derive and/or solve the underlying stochastic process, so that Monte Carlo simulation and fluid approximation remain the only viable ways that need to be explored. In this paper, we contribute to this line of research by proposing a new approach based on fluid approximation to automatically derive from an SSN model a set of ordinary differential equations (ODEs) which mimic the system behavior, and by showing how the SSN formalism allows us to define an efficient translation method which reduces the size of the corresponding ODE system with an automatic exploitation of system symmetries. Additionally, some case studies are presented to show the effectiveness of the method and the relevance of its application in practical cases.

From Symmetric Nets to Differential Equations exploiting Model Symmetries

BECCUTI, Marco;FORNARI, CHIARA;BALBO, Gianfranco
2013

Abstract

Stochastic Symmetric Nets (SSNs) are a High-Level Stochastic Petri Net formalism which provides a parametric system description and an efficient analysis technique that exploit system symmetries to automatically aggregate its states. Even if significant reductions can be achieved in highly symmetric models, the reduced state space can still be too large to derive and/or solve the underlying stochastic process, so that Monte Carlo simulation and fluid approximation remain the only viable ways that need to be explored. In this paper, we contribute to this line of research by proposing a new approach based on fluid approximation to automatically derive from an SSN model a set of ordinary differential equations (ODEs) which mimic the system behavior, and by showing how the SSN formalism allows us to define an efficient translation method which reduces the size of the corresponding ODE system with an automatic exploitation of system symmetries. Additionally, some case studies are presented to show the effectiveness of the method and the relevance of its application in practical cases.
58
1
23
39
http://comjnl.oxfordjournals.org/content/early/2013/10/17/comjnl.bxt111.abstract
M. Beccuti; C. Fornari; G. Franceschinis; S. M. Halawani; O. Barukab; A. Ahmad; G. Balbo
File in questo prodotto:
File Dimensione Formato  
JCJSWN13.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 388.23 kB
Formato Adobe PDF
388.23 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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: http://hdl.handle.net/2318/147415
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 16
  • ???jsp.display-item.citation.isi??? 14
social impact