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

Wiki

Clone wiki

GSPN benchmark / Net48

View History

Mobile agent application

Net48

Subclass n.Places, n.Transitions Measure of interest Transition of reference Output parameter
FRT (63,55) throughput start X(start)

Reference

E. Gómez-Martínez, S. Ilarri, J. Merseguer. Performance Analysis of Mobile Agent Tracking Approaches. In Proc. of the 7th International Workshop on Software and Performance (WOSP 2007), ACM, pp. 181-188, 2007.

Scaling parameter

Initial marking of place P62

  • Values: 100, 1000, 10000

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