In this paper we survey and compare different semantics for models' synchronisations that may lead to separable solutions for the stationary state probabilities. Indeed, although in the literature the synchronisation semantics for timed stochastic models have been widely studied in terms of expressive power, fewer efforts have been devoted to investigate of whether the modularity that is achieved by the formalism thanks o its synchronisation semantics is then reflected to a possible modular analysis. We discuss the basilar semantics for queue interactions (arrival and departure events) and more complex behaviours like the fork/join constructs inspired by stochastic Petri nets and the synchronisations inspired by the G-networks.

Synchronisation semantics for networks with fork and join: a product-form approach

BALSAMO, Maria Simonetta;MARIN, Andrea
2013-01-01

Abstract

In this paper we survey and compare different semantics for models' synchronisations that may lead to separable solutions for the stationary state probabilities. Indeed, although in the literature the synchronisation semantics for timed stochastic models have been widely studied in terms of expressive power, fewer efforts have been devoted to investigate of whether the modularity that is achieved by the formalism thanks o its synchronisation semantics is then reflected to a possible modular analysis. We discuss the basilar semantics for queue interactions (arrival and departure events) and more complex behaviours like the fork/join constructs inspired by stochastic Petri nets and the synchronisations inspired by the G-networks.
2013
Performance and Security Modelling & Evaluation of Cooperative Heterogeneous Networks
File in questo prodotto:
File Dimensione Formato  
balsamomarin1.hetnets13.pdf

non disponibili

Tipologia: Documento in Post-print
Licenza: Accesso chiuso-personale
Dimensione 199.83 kB
Formato Adobe PDF
199.83 kB Adobe PDF   Visualizza/Apri

I documenti in ARCA 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/10278/39870
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact