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

Wiki

Clone wiki

GSPN benchmark / Net15

View History

E-health system

To improve net readability, broken arcs are used in the figure.

Net15

Subclass n.Places, n.Transitions Measure of interest Transition of reference Output parameter
FRT (89,88) throughput thinking X(thinking)

Reference

L. Berardinelli, S. Bernardi, V. Cortellessa, J. Merseguer, The Fault-Error-Failure chain: a challenge for modeling and analyzing performability in UML-based software architectures, Technical report, 2010.

Scaling parameter

Number of doctor requests (initial marking of places P113,P421,P401,P39,P35).

  • Values: 1, 10, 100

Structural properties

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

Updated