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

Wiki

Clone wiki

GSPN benchmark / Net34

View History

Software retrieval system (e-commerce)

Net34

Subclass n.Places, n.Transitions Measure of interest Transition of reference Output parameter
FRT (48,40) throughput add_info X(add_info)

Reference

J. Merseguer, J. Campos, E. Mena. Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information, 9:223-238, 2003.

Scaling parameter

Number of users (initial marking of places wait_UserForService,P25,P19)

  • 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