1. Simona Bernardi Avatar Simona Bernardi
  2. GSPN benchmark
  3. GSPN benchmark

Wiki

Clone wiki

GSPN benchmark / Net46

View History

Universal Control Hub

Net46

Subclass n.Places, n.Transitions Measure of interest Transition of reference Output parameter
monoT-semiflow (21,16) throughput setvaTA X(setvaTA)

Reference

E. Gómez-Martínez, J. Merseguer. Performance modeling and analysis of the universal control hub, In Proc. of the 7th European performance engineering conference on Computer performance engineering, A. Aldini et al. editors, pp. 160-174, LNCS 6342, Springer Verlag, 2010.

Scaling parameter

Number of users (initial marking of places users,pui,puipm,puch,pta,ptarget*)

  • Values: 1, 10, 100

Structural properties

  • all the places are covered by some P-invariant
  • structurally bounded
  • all the transitions are covered by the T-invariant
  • deadlock-free
  • live
  • the initial marking is a home state

Updated